# Def algebra.finite_presentation

#### Modification history

2022-11-15 00:06

src/ring_theory/finite_presentation.lean

chore(ring_theory): split finiteness into finite, finite type and finite presentation (#17481) …

Modified algebra.finite_presentationView on Github →