Theorem Sym2.fromRel_ne

Modification history

2024-10-14 12:17
Mathlib/Data/Sym/Sym2.lean
chore: unused arguments (#17348)
Modified Sym2.fromRel_neView on Github →
2023-11-30 02:18
Mathlib/Data/Sym/Sym2.lean
feat: number of edges in a complete graph (#8631)
Added Sym2.fromRel_neView on Github →