Theorem midpoint_add_sub

Modification history