Commit 2023-10-26 19:14 168f6c23

View on Github →

chore(FieldTheory/IntermediateField): some lemmas about toSubalgebra (#7958)

Estimated changes

modified def IntermediateField.map