Mathlib v3 is deprecated. Go to Mathlib v4

Theorem algebra.finitely_presented.of_surjective

Modification history

2021-03-01 21:31
src/ring_theory/finiteness.lean
feat(ring_theory/finiteness): improve API for finite presentation (#6382) …
Deleted algebra.finitely_presented.of_surjectiveView on Github →
2021-02-16 12:05
src/ring_theory/finiteness.lean
feat(ring_theory/finiteness): add quotient of finitely presented (#6098) …
Added algebra.finitely_presented.of_surjectiveView on Github →