Theorem Submonoid.mem_sup

Modification history