mathlib
06fc9925 - chore(linear_algebra/basic): speed up slow decl

Commit

4 years ago

chore(linear_algebra/basic): speed up slow decl

Author

jcommelin

jcommelin

Committer

jcommelin

jcommelin

Parents

Loading