Theorem div_eq_div_iff

Modification history