Theorem Algebra.FiniteType.iff_quotient_freeAlgebra'

Modification history