Also put results about `N` in a module.

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

added 1 commit

• b3d3d9c2 - Also put results about `N` in a module.

Compare with previous version

No strong opinion, should be fine.

Going to merge, since we have just type class instances for N, this should not break anything, i.e., we don't need a changelog entry.

added 15 commits

• b3d3d9c2...47d252f5 - 14 commits from branch master
• 4bb9c971 - Also put results about `N` in a module.

Compare with previous version

enabled an automatic merge when the pipeline for 4bb9c971 succeeds

merged

mentioned in commit ffe033d2