Theorem right_sub_midpoint

Modification history