Theorem TrivSqZeroExt.snd_neg

Modification history