Def AdicCompletion.subring

Modification history