Theorem Rat.pow_def

Modification history