Theorem RingHom.FinitePresentation.of_surjective

Modification history

2025-04-27 19:30
Mathlib/RingTheory/FinitePresentation.lean
chore: prepare for the next lean version bump (#24417) …
Modified RingHom.FinitePresentation.of_surjectiveView on Github →
2023-05-19 15:02
Mathlib/RingTheory/FinitePresentation.lean
feat: port RingTheory.FinitePresentation (#3316)
Added RingHom.FinitePresentation.of_surjectiveView on Github →