Commit 2024-02-12 19:50 4b401b7c

View on Github →

chore: bump Std (#10455)

Estimated changes

Modified Archive/MiuLanguage/DecisionSuf.lean

Modified Mathlib/Analysis/PSeries.lean

Modified Mathlib/Data/Fin/Basic.lean

Modified Mathlib/Data/Nat/Pow.lean

deleted theorem Nat.one_le_two_pow

deleted theorem Nat.one_lt_two_pow

Modified Mathlib/NumberTheory/LucasLehmer.lean

Modified lake-manifest.json