Theorem ComplexShape.hasNoLoop_up'

Modification history