mathlib
3e6d8a51 - Fix (changed `simp` set)
Commit
View On GitHub
Commit
3 years ago
Fix (changed `simp` set)
Author
Vierkantor Vierkantor
Committer
Vierkantor Vierkantor
Parents
de00f743
FAQ Terms Privacy Refunds Impressum
Loading