mathlib
e56755ff - Fixing more too long doc-string lines almost right away.

Commit

5 years ago

Fixing more too long doc-string lines almost right away.

Author

kkytola

kkytola

Parents

Loading