Def FinEnum.pi

Modification history

2024-07-25 22:15

Mathlib/Data/FinEnum.lean

feat: new file `Data/List/Pi` (#5549) …

Deleted FinEnum.pi View on Github →

2023-01-17 19:16

Mathlib/Data/FinEnum.lean

feat: port Data.FinEnum (#1607)

Added FinEnum.pi View on Github →