Theorem Algebra.FiniteType.baseChangeAux_surj

Modification history

2024-06-12 10:07
Mathlib/RingTheory/FiniteStability.lean
feat(RingTheory): finite type and finite presentation are stable under base change (#13696)
Added Algebra.FiniteType.baseChangeAux_surjView on Github →