Theorem Sym.natCard_sym_eq_choose

Modification history

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