Theorem Sym2.card_diagSet_compl

Modification history

2025-12-01 17:55

Mathlib/Data/Sym/Card.lean

feat(Combinatorics/SimpleGraph): use `Sym2.diagSet` instead of explicit sets (#32255)

Added Sym2.card_diagSet_compl View on Github →