Theorem ENat.lt_add_left

Modification history

2026-08-12 20:03

Mathlib/Data/ENat/Basic.lean

refactor: split `Data.ENat.Basic` (#42271) …

Modified ENat.lt_add_left View on Github →

2026-04-15 00:18

Mathlib/Data/ENat/Basic.lean

feat(RingTheory): adds two lemmas on `Module.length` (#36657) …

Added ENat.lt_add_left View on Github →