Theorem Rat.cast_zpow

Modification history