Theorem AdicCompletion.val_sub

Modification history