Theorem Submodule.span_eq_iUnion_nat

Modification history