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