Theorem ComplexShape.not_rel_self

Modification history