Theorem eq_div_iff

Modification history