Theorem Submonoid.subtype_comp_inclusion

Modification history