Theorem AdicCompletion.val_add

Modification history