Theorem left_eq_midpoint_iff

Modification history