Theorem right_eq_midpoint_iff

Modification history