Theorem TrivSqZeroExt.fst_inr

Modification history