Commit 2023-12-12 02:48 00056bcb

View on Github →

chore: bump std to leanprover/lean4#429 (#8990)

Estimated changes

Modified Mathlib/Data/List/Perm.lean

deleted theorem List.singleton_subperm_iff

deleted theorem List.subperm_singleton_iff'

added theorem List.subperm_singleton_iff

Modified Mathlib/Data/Multiset/Basic.lean

Modified lake-manifest.json