Commit 2026-01-26 14:38 57a10e35

style: consistently put whitespace around pipes in conditional expectation and variance (#33815) Make mathlib's style consistent by always putting spaces around the pipes. This is more readable when there are long arguments. This inconsistency was exposed by extending the whitespace linter to proof bodies in #30658.