Commit 2025-08-14 20:25 afaa0ee1

View on Github →

chore(FieldTheory/IntermediateField): golf entire coe_sum and coe_prod (#28431)

Estimated changes

modified theorem IntermediateField.coe_prod
modified theorem IntermediateField.coe_sum