Def adic_completion.of

Modification history