Theorem midpoint_eq_right_iff

Modification history