Theorem FractionalIdeal.coe_pow

Modification history