Def ENat.ofNat

Modification history

2023-02-06 08:29

Mathlib/Data/ENat/Basic.lean

feat: port Data.Nat.PartENat (#1892) …

Deleted ENat.ofNat View on Github →

2023-01-26 13:42

Mathlib/Data/ENat/Basic.lean

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

Added ENat.ofNat View on Github →