Theorem ComplexShape.exists_distinct_next_or

Modification history