Def AlgEquiv.moduleEndSelfOp

Modification history

2025-05-01 06:42
Mathlib/Algebra/Algebra/Opposite.lean
feat: preliminaries for Wedderburn–Artin (#24119)
Added AlgEquiv.moduleEndSelfOpView on Github →