Theorem ComplexShape.hasNoLoop_down

Modification history