Def f

Modification history

2025-08-29 02:42
MathlibTest/Util/PrintSorries.lean
feat: `#print sorries`, a command to find usage of `sorry` (#25179) …
Added fView on Github →
2025-02-11 15:35
MathlibTest/ErwQuestion.lean
feat: `erw?`, a tool to explain why `erw` is necessary (#21643) …
Added fView on Github →
2023-09-20 04:57
test/ring.lean
chore(test/*): add `test_sorry` axiom in tests to make them less noisy (#6868) …
Deleted fView on Github →
2023-03-06 05:18
test/ring.lean
fix: `ring`: use `whnfR` when obtaining goal (#2677) …
Added fView on Github →