Theorem midpoint_neg_self

Modification history