Theorem FractionalIdeal.exists_mem_algebraMap_eq

Modification history