Theorem adicCompletion.eval_of

Modification history