Theorem Rat.den_pow

Modification history