Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-10-30 10:00
250bf30b
View on Github →
chore: remove more unused variables (
#18425
)
#17715
Estimated changes
Modified
Mathlib/Combinatorics/Digraph/Basic.lean
Modified
Mathlib/Combinatorics/SetFamily/AhlswedeZhang.lean
Modified
Mathlib/Combinatorics/SetFamily/Compression/UV.lean
Modified
Mathlib/Combinatorics/SetFamily/FourFunctions.lean
Modified
Mathlib/Data/Finset/Sups.lean
Modified
Mathlib/GroupTheory/GroupAction/Blocks.lean
Modified
Mathlib/GroupTheory/GroupAction/Support.lean
Modified
Mathlib/GroupTheory/Order/Min.lean
Modified
Mathlib/GroupTheory/Perm/Cycle/Concrete.lean
Modified
Mathlib/LinearAlgebra/BilinearForm/TensorProduct.lean
Modified
Mathlib/LinearAlgebra/CliffordAlgebra/Basic.lean
Modified
Mathlib/LinearAlgebra/CliffordAlgebra/Equivs.lean
Modified
Mathlib/LinearAlgebra/QuadraticForm/Isometry.lean
Modified
Mathlib/LinearAlgebra/QuadraticForm/Prod.lean
Modified
Mathlib/LinearAlgebra/TensorProduct/Graded/External.lean
Modified
Mathlib/Order/Filter/Cocardinal.lean
Modified
Mathlib/Order/KonigLemma.lean
Modified
Mathlib/Order/PFilter.lean
Modified
Mathlib/RingTheory/WittVector/Defs.lean
Modified
Mathlib/Tactic/Widget/StringDiagram.lean
Modified
Mathlib/Topology/ContinuousMap/CompactlySupported.lean
Modified
Mathlib/Topology/FiberBundle/Trivialization.lean