Theorem small_univ_iff

Modification history

2024-09-17 09:07
Mathlib/Logic/Small/Set.lean
feat(SetTheory/Ordinal/Arithmetic): the complement of a small set of ordinals is unbounded (#16875)
Added small_univ_iffView on Github →