Commit 2022-01-09 06:06 ca5e55cc
View on Github →feat(linear_algebra/basis): basis.ext, basis.ext' for semilinear maps (#11317)
Extend basis.ext and basis.ext' to apply to the general
(semilinear) case of linear_map and linear_equiv.
feat(linear_algebra/basis): basis.ext, basis.ext' for semilinear maps (#11317)
Extend basis.ext and basis.ext' to apply to the general
(semilinear) case of linear_map and linear_equiv.