Mathlib Changelog v4

Changelog About Github

Theorem Ordnode.Valid'.balanceR

Modification history

2023-06-02 11:07

Mathlib/Data/Ordmap/Ordset.lean

feat: port Data.Ordmap.Ordset (#4541)

Added Ordnode.Valid'.balanceR View on Github →