Theorem FractionalIdeal.absNorm_span_singleton

Modification history