Theorem Algebra.FiniteType.iff_quotient_freeAlgebra

Modification history