Theorem Monoid.fg_def

Modification history