Theorem FractionalIdeal.isPrincipal_of_unit_of_comap_mul_span_singleton_eq_top

Modification history