Theorem TrivSqZeroExt.inr_mul_inr

Modification history