Theorem adicCompletion.range_eval

Modification history