Theorem AdicCompletion.eval_lift

Modification history