Theorem TrivSqZeroExt.snd_comp_inl

Modification history