Def f

Modification history

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 →