mathlib
4d01bf8d - Fix `simp` set due to `protected`
Commit
View On GitHub
Commit
3 years ago
Fix `simp` set due to `protected`
Author
Vierkantor Vierkantor
Committer
Vierkantor Vierkantor
Parents
da017070
FAQ Terms Privacy Refunds Impressum
Loading