Theorem AdicCompletion.eval_lift_apply

Modification history