Theorem TrivSqZeroExt.snd_zero

Modification history