Theorem Algebra.FinitePresentation.of_restrict_scalars_finitePresentation

Modification history