mathlib3
a4b4da15 - Docstring formatting
Commit
View On GitHub
Commit
4 years ago
Docstring formatting Co-authored-by: Gabriel Ebner <gebner@gebner.org>
Author
foxthomson foxthomson
Parents
83f9c526
FAQ Terms Privacy Refunds Impressum
Loading