Commit 2025-07-06 21:54 52fad232

View on Github →

feat: simple lemmas on Cardinal.univ (#26818)

Estimated changes

added theorem Cardinal.nat_lt_univ
added theorem Cardinal.univ_ne_zero
added theorem Cardinal.univ_pos