Theorem FractionalIdeal.canonicalEquiv_spanSingleton

Modification history