Theorem AdicCompletion.val_smul

Modification history