Theorem MonoidAlgebra.fg_of_finiteType

Modification history