Theorem List.nodup_tail_reverse

Modification history

2024-12-16 10:17

Mathlib/Data/List/Nodup.lean

feat(Combinatorics/SimpleGraph): the reverse of a cycle is a cycle (#19611) …

Added List.nodup_tail_reverse View on Github →