mathlib3
a3257c3b - simp and lemma name
Commit
View On GitHub
Commit
3 years ago
simp and lemma name
Author
eric-wieser eric-wieser
Parents
df78de1d
FAQ Terms Privacy Refunds Impressum
Loading