Theorem FractionalIdeal.coe_ext_iff

Modification history