Theorem Sym2.card_image_diag

Modification history

2024-10-22 21:02
Mathlib/Data/Sym/Card.lean
chore(Data): use newly introduced finset notation (#18059) …
Modified Sym2.card_image_diagView on Github →
2023-12-27 05:26
Mathlib/Data/Sym/Card.lean
refactor: remove `Sym2`'s global `Prod` setoid instance, use `s(x, y)` notation for unordered pairs (#8729) …
Modified Sym2.card_image_diagView on Github →
2023-11-18 03:56
Mathlib/Data/Sym/Card.lean
feat: remove `DecidableEq` argument from `Finset.sym2` (#8211)
Modified Sym2.card_image_diagView on Github →
2023-05-08 03:29
Mathlib/Data/Sym/Card.lean
feat: port Data.Sym.Card (#3109)
Added Sym2.card_image_diagView on Github →