Theorem AdicCompletion.val_zero_apply

Modification history