Theorem Ring.ordFrac_eq_div

Modification history