[WIP] Chore: Move to module system#980

jstoobysmith with Copilot wants to merge 1 commit into

module_systemleanprover-community/physlib:module_systemfrom

copilot/sub-pr-977leanprover-community/physlib:copilot/sub-pr-977Copy head branch name to clipboard