Theorem hasCardinalLT_subtype_max

Modification history

2025-10-29 00:35

Mathlib/SetTheory/Cardinal/HasCardinalLT.lean

feat(SetTheory): more API for HasCardinalLT (#30633) …

Added hasCardinalLT_subtype_max View on Github →