Theorem LinearEquiv.symm_conjAlgEquiv

Modification history

2025-12-08 18:59

Mathlib/Algebra/Algebra/Equiv.lean

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

Added LinearEquiv.symm_conjAlgEquiv View on Github →