Theorem TrivSqZeroExt.snd_mul

Modification history