mathlib
ceb0dfbc - Add Sébastien to the authors
Commit
View On GitHub
Commit
2 years ago
Add Sébastien to the authors I copied his file and edited it to make the first version of this one.
Author
urkud urkud
Parents
c5e4c851
FAQ Terms Privacy Refunds Impressum
Loading