Theorem decidableTest.foo'

Modification history

2026-01-15 16:12
MathlibTest/UnusedInstancesInType/SetOption.lean
feat: `unusedFintypeInType` linter (#31794) …
Added decidableTest.foo'View on Github →