Theorem Nat.Partrec'.head

Modification history