Theorem LinearMap.restrictScalars₁₂_inj

Modification history

2024-03-11 12:58
Mathlib/LinearAlgebra/BilinearMap.lean
feat(LinearAlgebra/BilinearMap): restrict scalars (#6133) …
Added LinearMap.restrictScalars₁₂_injView on Github →