Theorem FractionalIdeal.isFractional_span_singleton

Modification history