Theorem Ordnode.size_node

Modification history

2024-03-25 01:53
Mathlib/Data/Ordmap/Ordnode.lean
chore: rm @[eqns] in Ordmap (#11645)
Modified Ordnode.size_nodeView on Github →
2023-06-02 11:07
Mathlib/Data/Ordmap/Ordnode.lean
feat: port Data.Ordmap.Ordset (#4541)
Added Ordnode.size_nodeView on Github →