Theorem FractionalIdeal.dual_injective

Modification history