Theorem Partrec.vector_mOfFn

Modification history