mathlib
2e2763a9 - add refl after simp
Commit
View On GitHub
Commit
3 years ago
add refl after simp
Author
adomani adomani
Parents
7173cbf0
FAQ Terms Privacy Refunds Impressum
Loading