Commit 2024-10-31 00:45 7ff3ad03
View on Github →chore (FieldTheory) : lower priority of instance about IsScalarTower and subtype (#18436)
Lower the priority of instance IntermediateField.instIsScalarTowerSubtypeMem
to 900
Because it would cause trouble when synthize instance IsScalarTower K L E
where K < L
are IntermediateField F E