Commit 2024-06-05 16:10 668bf7fb

View on Github →

chore: tidy various files (#13530)

Estimated changes

Modified Mathlib/Algebra/Group/Submonoid/Membership.lean

Modified Mathlib/AlgebraicGeometry/EllipticCurve/Weierstrass.lean

Modified Mathlib/AlgebraicGeometry/FunctionField.lean

Modified Mathlib/AlgebraicGeometry/Morphisms/Basic.lean

Modified Mathlib/CategoryTheory/Adhesive.lean

Modified Mathlib/Data/Nat/Bits.lean

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

Modified Mathlib/GroupTheory/OrderOfElement.lean

Modified Mathlib/Order/Filter/AtTopBot.lean

Modified Mathlib/Order/Filter/Basic.lean

modified theorem Filter.eventually_const

modified theorem Filter.frequently_const

Modified Mathlib/Order/Interval/Finset/Defs.lean

Modified Mathlib/Order/PrimeSeparator.lean

Modified Mathlib/RingTheory/PowerSeries/WellKnown.lean

Modified Mathlib/RingTheory/WittVector/FrobeniusFractionField.lean

Modified Mathlib/SetTheory/Ordinal/Arithmetic.lean

Modified Mathlib/SetTheory/Ordinal/Notation.lean

Modified Mathlib/Topology/Basic.lean

modified theorem mem_interior

modified theorem mem_nhds_iff

Modified Mathlib/Topology/Bornology/BoundedOperation.lean

Modified Mathlib/Topology/ContinuousFunction/Bounded.lean