Theorem LinearMap.dualMap_comp_dualMap
Modification history
2025-04-13 20:41
Mathlib/LinearAlgebra/Dual/Defs.lean
feat: generalize Mathlib.LinearAlgebra (#23179) …
Modified LinearMap.dualMap_comp_dualMapView on Github →2025-03-07 22:53
Mathlib/LinearAlgebra/Dual/Defs.lean
chore(LinearAlgebra): split long file `Dual.lean` (#22697) …
Modified LinearMap.dualMap_comp_dualMapView on Github →