Theorem Rat.pow_eq_divInt

Modification history