Theorem MonoidAlgebra.coe_liftNCAlgHom

Modification history

2026-01-03 10:24

Mathlib/Algebra/MonoidAlgebra/Basic.lean

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

Modified MonoidAlgebra.coe_liftNCAlgHom View on Github →

2025-09-08 14:22

Mathlib/Algebra/MonoidAlgebra/Basic.lean

feat(MonoidAlgebra): `mapRange` as an `AlgHom` (#28956) …

Added MonoidAlgebra.coe_liftNCAlgHom View on Github →