Theorem Rat.pow_eq_mkRat

Modification history