Theorem hasCardinalLT_subtype_iSup

Modification history

2025-10-29 00:35
Mathlib/SetTheory/Cardinal/HasCardinalLT.lean
feat(SetTheory): more API for HasCardinalLT (#30633) …
Added hasCardinalLT_subtype_iSupView on Github →