Theorem Rat.cast_pow

Modification history