Def Mathlib.Deriving.Fintype.mkFintypeEnum

Modification history

2023-04-18 03:36

Mathlib/Tactic/DeriveFintype.lean

feat: `Fintype` deriving handler (#3198) …

Added Mathlib.Deriving.Fintype.mkFintypeEnum View on Github →