Theorem midpoint_self

Modification history