Theorem fooSorry

Modification history

2025-11-25 19:25

MathlibTest/UnusedInstancesInType.lean

feat(Linter): port unused `Decidable*` instance hypothesis linter (#31142) …

Added fooSorry View on Github →