Theorem Submonoid.inclusion_inj

Modification history