Def RecallTest.myDef

Modification history

2026-03-26 01:43
MathlibTest/Recall.lean
fix: improve `recall` impl / error reporting (#8740) …
Added RecallTest.myDefView on Github →