Def continuous_submonoid

Modification history