Def AlgHom.Simps.apply

Modification history

2023-10-17 09:07

Mathlib/Algebra/Algebra/Hom.lean

chore: remove many `Type _` before the colon (#7718) …

Modified AlgHom.Simps.apply View on Github →

2023-02-21 08:05

Mathlib/Algebra/Algebra/Hom.lean

feat: port Algebra.Algebra.Hom (#2371)

Added AlgHom.Simps.apply View on Github →