Commit 2025-03-12 15:12 fe9b9d84

View on Github →

chore(whitespace): yet some more whitespace changes (#22854) Found by #22760.

Estimated changes

Modified Mathlib/Algebra/Ring/Subring/IntPolynomial.lean

modified theorem Polynomial.int_coeff_eq

Modified Mathlib/Algebra/SkewMonoidAlgebra/Basic.lean

modified theorem SkewMonoidAlgebra.single_one_one

Modified Mathlib/Algebra/Star/Unitary.lean

modified theorem IsUnit.mem_unitary_of_star_mul_self

Modified Mathlib/Algebra/Vertex/HVertexOperator.lean

Modified Mathlib/Algebra/Vertex/VertexOperator.lean

Modified Mathlib/CategoryTheory/Category/Quiv.lean

Modified Mathlib/CategoryTheory/Sigma/Basic.lean

modified def CategoryTheory.Sigma.Functor.sigma

modified theorem CategoryTheory.Sigma.SigmaHom.assoc

modified def CategoryTheory.Sigma.SigmaHom.comp

modified theorem CategoryTheory.Sigma.SigmaHom.comp_id

modified def CategoryTheory.Sigma.SigmaHom.id

modified theorem CategoryTheory.Sigma.SigmaHom.id_comp

modified inductive CategoryTheory.Sigma.SigmaHom

modified def CategoryTheory.Sigma.desc

modified def CategoryTheory.Sigma.descMap

modified def CategoryTheory.Sigma.descUniq

modified theorem CategoryTheory.Sigma.descUniq_hom_app

modified theorem CategoryTheory.Sigma.descUniq_inv_app

modified def CategoryTheory.Sigma.incl

modified def CategoryTheory.Sigma.map

modified def CategoryTheory.Sigma.mapId

modified def CategoryTheory.Sigma.natIso

modified def CategoryTheory.Sigma.natTrans

modified theorem CategoryTheory.Sigma.natTrans_app

Modified Mathlib/Combinatorics/SimpleGraph/Matching.lean

Modified Mathlib/Combinatorics/SimpleGraph/Path.lean

modified theorem SimpleGraph.reachable_delete_edges_iff_exists_walk

Modified Mathlib/Data/Matrix/Invertible.lean

Modified Mathlib/GroupTheory/HNNExtension.lean

Modified Mathlib/NumberTheory/ArithmeticFunction.lean

Modified Mathlib/RingTheory/HahnSeries/Basic.lean

modified theorem HahnSeries.forallLTEqZero_supp_BddBelow

Modified Mathlib/RingTheory/HahnSeries/Multiplication.lean

modified theorem HahnSeries.coeff_mul_order_add_order

Modified Mathlib/Topology/Algebra/Algebra.lean

modified theorem ContinuousAlgHom.fst_prod_snd

Modified Mathlib/Topology/Algebra/SeparationQuotient/Hom.lean