Theorem TrivSqZeroExt.inl_smul

Modification history