Def Fintype.ofIsEmpty

Modification history

2023-12-18 10:05
Mathlib/Data/Fintype/Basic.lean
feat: demote the instance Fintype.ofIsEmpty to a def (#8816) …
Added Fintype.ofIsEmptyView on Github →