Theorem Sym2.ncard_diagSet

Modification history

2026-06-02 14:25
Mathlib/Data/Sym/NatCard.lean
feat: Nat.card lemmas for Sym and Sym2 (#38741) …
Added Sym2.ncard_diagSetView on Github →