Theorem closure_iUnion₂_le_nat

Modification history