Commit 2024-08-01 14:36 227496b0

View on Github →

chore: avoid yoda comparisons (#15399) As recommended in the Lean 4.10 release blog, prefer comparisons (· == a) over (a == ·).

Estimated changes