Theorem Algebra.RingHom.adjoinAlgebraMap_surjective

Modification history

2026-02-27 15:01
Mathlib/RingTheory/Adjoin/Singleton.lean
chore: fix `adjoinAlgebraMap` lemma names (#35860)
Added Algebra.RingHom.adjoinAlgebraMap_surjectiveView on Github →