Theorem midpoint_add_self

Modification history