Theorem TrivSqZeroExt.inl_mul_inr

Modification history