Theorem AlgEquiv.pow_toLinearMap

Modification history

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