Theorem AdicCompletion.eval_apply

Modification history