Commit 2023-03-24 18:51 6f748f1a
View on Github →feat: port Data.Finset.Sym (#2168) Some instances that were not synthezised automatically are added to the files Data.Sym.Basic and Data.Sym.Sym2 See https://leanprover.zulipchat.com/#narrow/stream/287929-mathlib4/topic/Classical