Theorem TrivSqZeroExt.snd_comp_inr

Modification history