Def f

Modification history

2025-12-01 11:03
MathlibTest/hintAll.lean
fix: adjust `abel`'s `hint` prio to avoid suggesting `abel` on unrelated trivial goals (#31865)
Added fView on Github →
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 →