mathlib3
4ad2b9d1 - Better `ext` lemmas
Commit
View On GitHub
Commit
4 years ago
Better `ext` lemmas Co-Authored-By: Eric Wieser <wieser.eric@gmail.com>
Author
Vierkantor Vierkantor
Committer
Vierkantor Vierkantor
Parents
0ab26bca
FAQ Terms Privacy Refunds Impressum
Loading