Theorem IsSubmonoid.inter

Modification history