Theorem Algebra.FinitePresentation.of_restrict_scalars_finitePresentation

Modification history

2023-05-19 15:02
Mathlib/RingTheory/FinitePresentation.lean
feat: port RingTheory.FinitePresentation (#3316)
Added Algebra.FinitePresentation.of_restrict_scalars_finitePresentationView on Github →