mathlib
177b5eb0 - feat(linear_algebra): dimension of the base field is 1

Commit

6 years ago

feat(linear_algebra): dimension of the base field is 1

Author

johoelzl

johoelzl

Parents

Loading