Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-03-21 09:52
d7c024f0
View on Github →
chore: review of
erw
in
Archive/
and
Counterexamples/
(
#23168
)
Estimated changes
Modified
Archive/Sensitivity.lean
added
theorem
Sensitivity.V_succ
added
theorem
Sensitivity.V_zero
Modified
Archive/Wiedijk100Theorems/BirthdayProblem.lean
Modified
Archive/Wiedijk100Theorems/Partition.lean
Modified
Counterexamples/Pseudoelement.lean