Theorem ComplexShape.hasNoLoop_down'

Modification history