Theorem FractionalIdeal.isPrincipal_iff

Modification history