Theorem ComplexShape.up_nat_odd_add

Modification history