Def Mathlib.Deriving.Fintype.mkFintype

Modification history

2023-04-18 03:36

Mathlib/Tactic/DeriveFintype.lean

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

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