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 == ·).
chore: avoid yoda comparisons (#15399)
As recommended in the Lean 4.10 release blog, prefer comparisons (· == a) over (a == ·).