mathlib
75fdf2b0 - Fix `simp` loop due to `←` + new lemmas
Commit
View On GitHub
Commit
3 years ago
Fix `simp` loop due to `←` + new lemmas
Author
Vierkantor Vierkantor
Committer
Vierkantor Vierkantor
Parents
381f0e16
FAQ Terms Privacy Refunds Impressum
Loading