Theorem Nat.Partrec.Code.rec_prim'

Modification history