Theorem MonoidAlgebra.domCongr_toAlgHom

Modification history

2026-01-03 10:24

Mathlib/Algebra/MonoidAlgebra/Basic.lean

chore(Algebra/MonoidAlgebra/Basic): rename variables (#33516) …

Modified MonoidAlgebra.domCongr_toAlgHom View on Github →

2025-12-15 15:27

Mathlib/Algebra/MonoidAlgebra/Basic.lean

feat(Algebra/MonoidAlgebra): complete the map API (#32254) …

Modified MonoidAlgebra.domCongr_toAlgHom View on Github →

2023-08-14 08:13

Mathlib/Algebra/MonoidAlgebra/Basic.lean

feat(Algebra/MonoidAlgebra/Basic): add `domCongr` (#6567) …

Added MonoidAlgebra.domCongr_toAlgHom View on Github →