Commit 2026-04-09 05:37 4ecbd99c

View on Github →

fix(FieldTheory/Galois/Basic): inferInstance instance should be a theorem (#37822) Corrects a mistake I made in #37448

Estimated changes