Def AlgEquiv.toLinearMapHom

Modification history

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