mathlib
fdb773a2 - chore(algebra/tropical/basic): golf and clean (#10633)

Commit

4 years ago

chore(algebra/tropical/basic): golf and clean (#10633)

Author

pechersky

pechersky

Parents

Loading