Theorem span_eq_iUnion_nat

Modification history