∫ Утверждение Mathlib
false_of_isTruncLE
Mathlib.Algebra.Homology.Embedding.Boundary
URI: https://scilib.ai/kg/mathlib#ComplexShape.Embedding.BoundaryGE.false_of_isTruncLE
∫ Утверждение Mathlib
Mathlib.Algebra.Homology.Embedding.Boundary
URI: https://scilib.ai/kg/mathlib#ComplexShape.Embedding.BoundaryGE.false_of_isTruncLE