Theorem AdicCompletion.eval_surjective

Modification history