This repository was archived by the owner on Dec 2, 2025. It is now read-only.

update embedded_superdegree -> lagrange_superdegree#134

Merged

mscroggs merged 1 commit intomainfrom

mscroggs/lagrange_superdegree

Nov 18, 2025

Commits on Nov 18, 2025

update embedded_superdegree -> lagrange_superdegree
mscroggs
committed