Theorem Nat.Primrec'.vec_iff

Modification history