Theorem AdicCompletion.val_sub_apply

Modification history