Def MonoidAlgebra.liftNCRingHom

Modification history

2025-08-13 12:33

Mathlib/Algebra/MonoidAlgebra/Defs.lean

chore(Algebra/MonoidAlgebra): split Defs.lean further (#28030) …

Modified MonoidAlgebra.liftNCRingHom View on Github →

2024-09-16 14:35

Mathlib/Algebra/MonoidAlgebra/Basic.lean

chore: split Algebra.MonoidAlgebra.Basic (#16531) …

Modified MonoidAlgebra.liftNCRingHom View on Github →

2023-03-08 06:41

Mathlib/Algebra/MonoidAlgebra/Basic.lean

feat: port Algebra.MonoidAlgebra.Basic (#2589)

Added MonoidAlgebra.liftNCRingHom View on Github →