Theorem FractionalIdeal.isFractional_span_iff

Modification history