Theorem midpoint_comm

Modification history