Def Grind.foo

Modification history

2025-09-25 02:45
MathlibTest/Simps.lean
feat(simps): allow adding arbitrary attributes (#29911) …
Added Grind.fooView on Github →