Theorem AdicCompletion.val_smul_apply

Modification history