Theorem LinearMap.restrictScalars₁₂_injective

Modification history

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