Theorem FractionalIdeal.inv_eq

Modification history