Theorem Sym2.diag_diagElem

Modification history

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