Theorem Ring.ordFrac_eq_ord

Modification history