Commit 2026-07-22 16:25 cba86927
View on Github →style: fix by on newline (#41794) Fixes some instances of by being on a newline or the first line of the proof rather than the final line of the declaration (as required by Mathlib style).
style: fix by on newline (#41794) Fixes some instances of by being on a newline or the first line of the proof rather than the final line of the declaration (as required by Mathlib style).