Def Matrix.kroneckerTMulBilinear

Modification history

2025-06-12 04:59

Mathlib/Data/Matrix/Kronecker.lean

refactor: make `Matrix.kroneckerTMulAlgEquiv` heterogeneous (#25693) …

Modified Matrix.kroneckerTMulBilinear View on Github →

2023-05-18 08:40

Mathlib/Data/Matrix/Kronecker.lean

feat: port Data.Matrix.Kronecker (#4068)

Added Matrix.kroneckerTMulBilinear View on Github →