Theorem TypeVec.fst_diag

Modification history