Commit 2024-04-02 00:06 69fafc8a

View on Github →

chore: bump Std (#11833)

Estimated changes

Modified Mathlib/Combinatorics/Enumerative/Composition.lean

Modified Mathlib/Data/List/Forall2.lean

deleted theorem List.forall₂_cons

Modified lake-manifest.json