Theorem Rat.ofInt_eq_cast

Modification history