Theorem TrivSqZeroExt.fst_neg

Modification history