Theorem ENat.add_top

Modification history

2026-03-24 21:54

Mathlib/Data/ENat/Basic.lean

chore(ENat): clean up `deriving` instances (#37096) …

Deleted ENat.add_top View on Github →

2026-03-24 02:02

Mathlib/Data/ENat/Basic.lean

chore: bump toolchain to `v4.29.0-rc7` (#37034) …

Added ENat.add_top View on Github →