Theorem Submonoid.inv_sup

Modification history