Theorem left_sub_midpoint

Modification history