mathlib
06cd5999 - Simp lemma
Commit
View On GitHub
Commit
4 years ago
Simp lemma Co-authored-by: Gabriel Ebner <gebner@gebner.org>
Author
foxthomson foxthomson
Parents
a4b4da15
FAQ Terms Privacy Refunds Impressum
Loading