Commit 2024-06-30 23:36 b1197d77

View on Github →

feat(ENat/Basic): add more simp/gcongr lemmas (#13651)

Estimated changes

added theorem ENat.one_ne_top
added theorem ENat.toNat_le_toNat
added theorem ENat.top_ne_one
added theorem ENat.top_ne_zero
added theorem ENat.zero_ne_top