Commit 2025-03-10 19:49 be746192

View on Github →

chore: more white spaces (#22802) Found by #22760.

Estimated changes

Modified Mathlib/Algebra/Order/UpperLower.lean

Modified Mathlib/Data/Vector/MapLemmas.lean

Modified Mathlib/Tactic/LinearCombination'.lean

modified theorem Mathlib.Tactic.LinearCombination'.add_pf

modified theorem Mathlib.Tactic.LinearCombination'.div_pf

modified theorem Mathlib.Tactic.LinearCombination'.eq_of_add

modified theorem Mathlib.Tactic.LinearCombination'.eq_of_add_pow

modified theorem Mathlib.Tactic.LinearCombination'.eq_trans₃

modified theorem Mathlib.Tactic.LinearCombination'.inv_pf

modified theorem Mathlib.Tactic.LinearCombination'.mul_pf

modified theorem Mathlib.Tactic.LinearCombination'.neg_pf

modified theorem Mathlib.Tactic.LinearCombination'.sub_pf