Theorem AlgEquiv.coe_algHom

Modification history

2024-01-17 23:23

Mathlib/Algebra/Algebra/Equiv.lean

chore(*): rename `FunLike` to `DFunLike` (#9785) …

Modified AlgEquiv.coe_algHom View on Github →

2023-02-28 17:47

Mathlib/Algebra/Algebra/Equiv.lean

feat: port Algebra.Algebra.Equiv (#2413)

Added AlgEquiv.coe_algHom View on Github →