Def Algebra.RingHom.adjoinAlgebraMap

Modification history

2026-01-22 10:30
Mathlib/RingTheory/Adjoin/Singleton.lean
feat: RingHom.adjoinAlgebraMap (#33016) …
Added Algebra.RingHom.adjoinAlgebraMapView on Github →