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