Theorem ComplexShape.prev_eq'

Modification history