Theorem FractionalIdeal.canonicalEquiv_trans_canonicalEquiv

Modification history