Skip to content

Also put results about `N` in a module.

Robbert Krebbers requested to merge robbert/n_module into master

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.)

Merge request reports