Commit 2026-02-15 14:33 2b9cd2f0
View on Github →style: fix many leading by's in mathlib (#35343)
Per the style guide, these should go on the preceding line.
Inspired by #22727, and then searching for :=\n\s*by in mathlib.
style: fix many leading by's in mathlib (#35343)
Per the style guide, these should go on the preceding line.
Inspired by #22727, and then searching for :=\n\s*by in mathlib.