Theorem closure_iUnion₂_lt_nat

Modification history