Structure AlgHom

Modification history

2024-10-09 08:43

test/Simps.lean

chore: adaptations for lean4#5542 (#17564) …

Modified AlgHom View on Github →

2023-02-21 08:05

Mathlib/Algebra/Algebra/Hom.lean

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

Added AlgHom View on Github →

2022-10-23 12:09

test/Simps.lean

feat: port simps (#445) …

Added AlgHom View on Github →