Theorem midpoint_self_neg

Modification history