Commit 2025-06-08 11:29 284e9184

View on Github →

feat(SetTheory/Cardinal): relate nonemptiness of a set to its cardinality (#25576) Add three simple lemmas and golf a fourth.

Estimated changes