Theorem IsIntegralClosure.range_le_span_dualBasis

Modification history