Theorem AddMonoidAlgebra.finiteType_iff_fg

Modification history