Theorem Nat.Partrec.Code.primrec₂_comp

Modification history