Theorem TrivSqZeroExt.inr_mul_inl

Modification history