Commit 2025-07-04 10:05 3f9a67b8

View on Github →

chore: whitespace fixes (#26714) Found by #26706.

Estimated changes

Modified Mathlib/Algebra/Quaternion.lean

modified theorem QuaternionAlgebra.comm

Modified Mathlib/Analysis/Calculus/ContDiff/FaaDiBruno.lean

Modified Mathlib/Analysis/Complex/IntegerCompl.lean

modified theorem Complex.integerComplement.ne_one

modified theorem Complex.integerComplement_add_ne_zero