Also put results about `N` in a module. (!465) · Merge requests · Iris / stdpp

Merged Robbert Krebbers requested to merge robbert/n_module into master Apr 22, 2023

It seems we forgot this for N in !404 (merged).

(Probably because for N we just have type class instances and no real lemmas or operations.)

Also put results about `N` in a module.