Theorem Unitization.fst_smul

Modification history