Def continuousSubring

Modification history