Theorem Rat.den_eq_one_iff

Modification history