chore(Archive): convert to the module system#42010

grunweg wants to merge 2 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

grunweg:modulise-counterexamplesgrunweg/mathlib4:modulise-counterexamplesCopy head branch name to clipboard