Theorem TrivSqZeroExt.snd_inr

Modification history