Theorem TrivSqZeroExt.fst_comp_inr

Modification history