Theorem six_eq_seven

Modification history

2023-09-20 04:57
test/rewrites.lean
chore(test/*): add `test_sorry` axiom in tests to make them less noisy (#6868) …
Modified six_eq_sevenView on Github →
2023-06-29 19:22
test/rewrites.lean
fix: bug fixes to rw? (#5563) …
Added six_eq_sevenView on Github →