Commit 2026-03-25 12:30 d3bee8dd
View on Github →chore(NumberField): clean up RingOfIntegers instances (#37153)
Clean up the instances for RingOfIntegers using InferInstanceAs and deriving.
chore(NumberField): clean up RingOfIntegers instances (#37153)
Clean up the instances for RingOfIntegers using InferInstanceAs and deriving.