Def Mathlib.Deriving.Fintype.mkFintypeInstanceHandler

Modification history

2023-04-18 03:36

Mathlib/Tactic/DeriveFintype.lean

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

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