Theorem Sym2.natCard_subtype_not_diag

Modification history

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