Theorem Nat.Primrec'.if_lt

Modification history