Theorem TrivSqZeroExt.snd_add

Modification history