Theorem TrivSqZeroExt.fst_sum

Modification history