Def ENat.toNat

Modification history

2024-06-23 11:05

Mathlib/Data/ENat/Basic.lean

chore(Data/ENat): unbundle `ENat.toNat` (#13936) …

Modified ENat.toNat View on Github →

2024-01-16 23:32

Mathlib/Data/ENat/Basic.lean

chore(ENat/Basic): review (#9787) …

Modified ENat.toNat View on Github →

2023-01-26 13:42

Mathlib/Data/ENat/Basic.lean

feat: port Data.ENat.Basic (#1531)

Added ENat.toNat View on Github →