Theorem TypeVec.repeat_eq_append1

Modification history