Def FinEnum.ofNodupList

Modification history

2024-04-18 07:19

Mathlib/Data/FinEnum.lean

chore(FinEnum): `List.nthLe` -> `List.get` (#12220)

Modified FinEnum.ofNodupList View on Github →

2023-01-17 19:16

Mathlib/Data/FinEnum.lean

feat: port Data.FinEnum (#1607)

Added FinEnum.ofNodupList View on Github →