Commit 2024-04-18 09:26 dc349307

View on Github →

chore: update Std (#12210)

Estimated changes

Modified Mathlib/Data/Finset/NoncommProd.lean

Modified Mathlib/Data/List/Basic.lean

Modified Mathlib/Logic/Function/Basic.lean

deleted theorem Function.funext_iff

Modified lake-manifest.json

Modified scripts/noshake.json