Def continuousSubmonoid

Modification history