Theorem ComplexShape.Embedding.BoundaryGE.false_of_isTruncLE

Modification history