Theorem TrivSqZeroExt.fst_map

Modification history