Theorem ComplexShape.hasNoLoop_up

Modification history