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