Def AlgHom.extendScalarsOfSurjective

Modification history

2025-10-28 15:18

Mathlib/Algebra/Algebra/Tower.lean

feat(RingTheory/Finiteness): a finite and finitely presented algebra is finitely presented (#29781) …

Added AlgHom.extendScalarsOfSurjective View on Github →