Theorem Sym2.coe_map

Modification history

2026-03-22 12:35
Mathlib/Data/Sym/Sym2.lean
feat(Combinatorics/SimpleGraph/LineGraph): lift copies/isomorphisms to line-graph (#33292) …
Added Sym2.coe_mapView on Github →