Theorem Primrec₂.nat_iff'

Modification history