Theorem AdicCompletion.of_apply

Modification history