Theorem Algebra.RingHom.adjoin_algebraMap_surjective

Modification history

2026-02-27 15:01
Mathlib/RingTheory/Adjoin/Singleton.lean
chore: fix `adjoinAlgebraMap` lemma names (#35860)
Deleted Algebra.RingHom.adjoin_algebraMap_surjectiveView on Github →
2026-01-22 10:30
Mathlib/RingTheory/Adjoin/Singleton.lean
feat: RingHom.adjoinAlgebraMap (#33016) …
Added Algebra.RingHom.adjoin_algebraMap_surjectiveView on Github →