Theorem Rat.mkRat_pow

Modification history