Theorem IsValExtension.val_smul

Modification history