Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-10-03 04:27
3fdbf34e
View on Github →
chore(Data): golf
Data/
using
grind
(
#26640
)
Estimated changes
Modified
Mathlib/Data/EReal/Operations.lean
Modified
Mathlib/Data/Finset/Powerset.lean
Modified
Mathlib/Data/List/Basic.lean
Modified
Mathlib/Data/List/Cycle.lean
Modified
Mathlib/Data/List/FinRange.lean
modified
theorem
List.finRange_succ_eq_map
Modified
Mathlib/Data/List/Induction.lean
Modified
Mathlib/Data/List/Nodup.lean
Modified
Mathlib/Data/List/Sigma.lean
Modified
Mathlib/Data/PEquiv.lean
Modified
Mathlib/Data/PNat/Xgcd.lean
Modified
Mathlib/Data/Prod/Lex.lean
Modified
Mathlib/Data/Real/GoldenRatio.lean
Modified
Mathlib/Data/Set/Lattice.lean
Modified
Mathlib/Data/Stream/Init.lean