Theorem TrivSqZeroExt.inl_mul

Modification history