Def Ordnode.ofAscListAux₁

Modification history

2023-05-01 11:02
Mathlib/Data/Ordmap/Ordnode.lean
feat: port Mathlib.Data.Ordmap.Ordnode (#1455)
Added Ordnode.ofAscListAux₁View on Github →