Theorem RingHom.finiteType_stableUnderBaseChange

Modification history

2024-11-06 16:11
Mathlib/RingTheory/RingHom/FiniteType.lean
refactor(CategoryTheory/MorphismProperty): turn `StableUnderBaseChange` into a class (#18692) …
Deleted RingHom.finiteType_stableUnderBaseChangeView on Github →
2024-06-12 10:07
Mathlib/RingTheory/RingHom/FiniteType.lean
feat(RingTheory): finite type and finite presentation are stable under base change (#13696)
Added RingHom.finiteType_stableUnderBaseChangeView on Github →