Def NonUnitalAlgHom.toAlgHom

Modification history

2024-07-11 10:12
Mathlib/Algebra/Algebra/Unitization.lean
chore: add missing spaces around : (#13658) …
Modified NonUnitalAlgHom.toAlgHomView on Github →
2023-03-15 10:21
Mathlib/Algebra/Algebra/Unitization.lean
feat: port Algebra.Algebra.Unitization (#2892)
Added NonUnitalAlgHom.toAlgHomView on Github →