Def LinearEquiv.algConj

Modification history

2025-12-08 18:59

Mathlib/LinearAlgebra/Matrix/ToLin.lean

feat(LinearAlgebra/GeneralLinearGroup): algebra automorphisms in endomorphisms are inner (#28100) …

Deleted LinearEquiv.algConj View on Github →

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 →