Theorem List.nodup_iota

Modification history

2024-08-05 08:52

Mathlib/Data/List/Range.lean

chore: move toolchain to v4.11.0-rc1 (#15513)

Deleted List.nodup_iota View on Github →

2023-01-10 22:47

Mathlib/Data/List/Range.lean

feat: port Mathlib.Data.List.Range (#1463)

Added List.nodup_iota View on Github →