Theorem FractionalIdeal.mapEquiv_symm

Modification history