mathlib3
de00f743 - 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
f9365c18
FAQ Terms Privacy Refunds Impressum
Loading