Theorem TrivSqZeroExt.snd_one

Modification history