Theorem Primrec.nat_elim₁

Modification history