Theorem TrivSqZeroExt.fst_sub

Modification history