Theorem RingHom.finitePresentation_algebraMap

Modification history

2025-04-02 12:19
Mathlib/RingTheory/FinitePresentation.lean
feat(RingTheory): Chevalley's theorem (#23571) …
Added RingHom.finitePresentation_algebraMapView on Github →