mathlib
628969b1 - chore(linear_algebra/basic): speed up slow decl (#9060)

Commit

4 years ago

chore(linear_algebra/basic): speed up slow decl (#9060)

Author

jcommelin

jcommelin

Parents

Loading