Commit 2024-07-07 21:24 e393bae3

View on Github →

chore: tidy various files (#14485)

Estimated changes

Modified Mathlib/Algebra/Group/Action/Opposite.lean

Modified Mathlib/Analysis/Convex/Radon.lean

Modified Mathlib/CategoryTheory/Monad/Coequalizer.lean

Modified Mathlib/CategoryTheory/Monad/Equalizer.lean

Modified Mathlib/Combinatorics/SimpleGraph/Matching.lean

Modified Mathlib/Data/LazyList/Basic.lean

Modified Mathlib/Data/Matroid/Basic.lean

Modified Mathlib/Data/Matroid/IndepAxioms.lean

Modified Mathlib/Data/Nat/Prime/Defs.lean

Modified Mathlib/Data/Real/EReal.lean

Modified Mathlib/Data/Setoid/Basic.lean

Modified Mathlib/FieldTheory/Fixed.lean

Modified Mathlib/FieldTheory/RatFunc/AsPolynomial.lean

Modified Mathlib/FieldTheory/Separable.lean

modified def IsSeparable

Modified Mathlib/Geometry/Manifold/ContMDiff/Basic.lean

Modified Mathlib/GroupTheory/Coxeter/Inversion.lean

Modified Mathlib/GroupTheory/Perm/List.lean

Modified Mathlib/LinearAlgebra/ExteriorAlgebra/OfAlternating.lean

Modified Mathlib/LinearAlgebra/Reflection.lean

Modified Mathlib/LinearAlgebra/RootSystem/Defs.lean

modified def RootPairing.pairing

Modified Mathlib/MeasureTheory/Function/Intersectivity.lean

Modified Mathlib/MeasureTheory/Order/UpperLower.lean

Modified Mathlib/MeasureTheory/SetAlgebra.lean

Modified Mathlib/RingTheory/DedekindDomain/Ideal.lean

Modified Mathlib/RingTheory/EssentialFiniteness.lean

Modified Mathlib/Testing/SlimCheck/Functions.lean

Modified Mathlib/Topology/Category/LightProfinite/EffectiveEpi.lean

Modified Mathlib/Topology/Compactification/OnePoint.lean

Modified Mathlib/Topology/Instances/EReal.lean

Modified Mathlib/Topology/RestrictGenTopology.lean

Modified Mathlib/Topology/Sheaves/Skyscraper.lean

Modified Mathlib/Topology/StoneCech.lean

Modified Mathlib/Topology/UniformSpace/Basic.lean