Theorem MonoidAlgebra.finiteType_iff_fg

Modification history