Theorem TrivSqZeroExt.inl_neg

Modification history