Commit 2023-02-22 19:59 d0316d4b
View on Github →feat: port FieldTheory.Subfield (#2395) Needed to fix some mistranslation in another file but then it's smooth sailing.
feat: port FieldTheory.Subfield (#2395) Needed to fix some mistranslation in another file but then it's smooth sailing.