Theorem FractionalIdeal.coe_one_eq_coeSubmodule_top

Modification history