Def LinearEquiv.algConj

Modification history

2025-05-01 06:42

Mathlib/LinearAlgebra/Matrix/ToLin.lean

feat: preliminaries for Wedderburn–Artin (#24119)

Modified LinearEquiv.algConj View on Github →

2023-04-28 03:54

Mathlib/LinearAlgebra/Matrix/ToLin.lean

feat: port LinearAlgebra.Matrix.ToLin (#3552)

Added LinearEquiv.algConj View on Github →