Theorem FractionalIdeal.canonicalEquiv_flip

Modification history