Def AlgEquiv.algHomUnitsEquiv

Modification history

2023-12-05 18:54
Mathlib/Algebra/Algebra/Equiv.lean
feat: Add API for `AlgEquiv`. (#8639)
Added AlgEquiv.algHomUnitsEquivView on Github →