Theorem TrivSqZeroExt.fst_mul

Modification history