Theorem closure_smul

Modification history