Theorem eq_iff_eq_cancel_right

Modification history