New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Prove F_degree, M_deg_eq_F_deg, M_monic #149

Merged

kbuzzard merged 2 commits into ImperialCollegeLondon:main from Ruben-VandeVelde:M_monic

Oct 1, 2024

Contributor

Ruben-VandeVelde commented Oct 1, 2024

Fixes #141

Ruben-VandeVelde added 2 commits

October 1, 2024 11:35


          Prove F_degree, M_deg_eq_F_deg, M_monic

8e6d79b

Fixes ImperialCollegeLondon#141


          generalize

03c3f5d

Collaborator

kbuzzard commented Oct 1, 2024

Thanks!

kbuzzard merged commit 3cbc3b2 into ImperialCollegeLondon:main

1 check passed

Ruben-VandeVelde deleted the M_monic branch

October 1, 2024 20:47

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet