Theorem List.nodup_attachWith

Modification history

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