Theorem hasCardinalLT_option_iff

Modification history

2025-01-23 06:28
Mathlib/SetTheory/Cardinal/HasCardinalLT.lean
feat(CategoryTheory): `κ`-filtered categories (#20005) …
Added hasCardinalLT_option_iffView on Github →