Def tests.myBoolInst'

Modification history

2023-04-18 03:36
test/DeriveFintype.lean
feat: `Fintype` deriving handler (#3198) …
Added tests.myBoolInst'View on Github →