Theorem ComplexShape.Embedding.BoundaryLE.false_of_isTruncGE

Modification history