Theorem TrivSqZeroExt.fst_pow

Modification history