Theorem LinearMap.toMatrix₂_toLinearMapₛₗ₂

Modification history

2025-10-21 12:12
Mathlib/LinearAlgebra/Matrix/SesquilinearForm.lean
refactor: generalize LinearMap.toMatrix₂ and Matrix.toLinearMap₂ to sesquilinear forms (#30108) …
Added LinearMap.toMatrix₂_toLinearMapₛₗ₂View on Github →