Theorem FractionalIdeal.coeIdeal_span_singleton

Modification history