Theorem Sym2.diagElem_mk

Modification history

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