Theorem Univ.IsSubmonoid

Modification history