Inductive tests.C'

Modification history

2024-11-04 05:59
MathlibTest/DeriveFintype.lean
chore: bump toolchain to v4.14.0-rc1 (#18597) …
Modified tests.C'View on Github →
2023-04-18 03:36
test/DeriveFintype.lean
feat: `Fintype` deriving handler (#3198) …
Added tests.C'View on Github →