mathlib
04cdee31 - feat(linear_algebra/basis): add basis.restrict_scalars (#18814)

Commit

2 years ago

feat(linear_algebra/basis): add basis.restrict_scalars (#18814) Co-authored-by: Eric Wieser <wieser.eric@gmail.com>

Author

xroblot

Parents