Theorem Sym2.attachWith_inj

Modification history

2026-11-10 14:10
Mathlib/Data/Sym/Sym2.lean
feat(Combinatorics/SimpleGraph/Paths): some lemmas about inducing walks (#40967) …
Added Sym2.attachWith_injView on Github →