Theorem TrivSqZeroExt.snd_sum

Modification history