Theorem Submonoid.subsemiringClosure_mem

Modification history