∫ Утверждение Mathlib
lid_tmul
Mathlib.RingTheory.Coalgebra.TensorProduct
URI: https://scilib.ai/kg/mathlib#Coalgebra.TensorProduct.lid_tmul
∫ Утверждение Mathlib
Mathlib.RingTheory.Coalgebra.TensorProduct
URI: https://scilib.ai/kg/mathlib#Coalgebra.TensorProduct.lid_tmul