Theorem adicCompletion.eval_comp_of

Modification history