feat: Close the smallest pendulum configuration-space sorryful definitions#1327

NicolaBernini wants to merge 2 commits into

leanprover-community:masterleanprover-community/physlib:masterfrom

NicolaBernini:feat/close-smallest-pendulum-config-space-sorryful-definitions-30June2026NicolaBernini/PhysLean:feat/close-smallest-pendulum-config-space-sorryful-definitions-30June2026Copy head branch name to clipboard