Theorem AlgEquiv.one_toLinearMap

Modification history

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