Commit 2020-12-14 21:52 a649c59a
View on Github →feat(field_theory/intermediate_field): lift2_alg_equiv (#5344) Proves that lift2 is isomorphic as an algebra over the base field
feat(field_theory/intermediate_field): lift2_alg_equiv (#5344) Proves that lift2 is isomorphic as an algebra over the base field