Theorem AdicCompletion.eval_of

Modification history