Commit 2023-01-06 14:48 bf1283e9

View on Github →

chore: update Data.Nat.Order.Basic to account for my mathlib PR (#1378)

Estimated changes