Def AdicCompletion.AdicCauchySequence.subring

Modification history