Commit 2025-05-19 11:09 b06bfd2a

View on Github →

fix: random (white)spaces (#25018) Found by #24465.

Estimated changes

Modified Mathlib/AlgebraicGeometry/Cover/MorphismProperty.lean

Modified Mathlib/Analysis/NormedSpace/Alternating/Basic.lean

Modified Mathlib/Data/Fin/Tuple/Embedding.lean

modified def Function.Embedding.embFinTwo

Modified Mathlib/GroupTheory/GroupAction/MultipleTransitivity.lean

Modified Mathlib/NumberTheory/NumberField/InfinitePlace/TotallyRealComplex.lean