Theorem FractionalIdeal.isNoetherian_spanSingleton_inv_to_map_mul

Modification history