Commit 2025-01-08 18:30 8421da86
View on Github →feat(NumberTheory/NumberField/Basic): ringOfIntegersEquiv API (#20544)
Andrew Yang's proof that the obvious triangle to ℚ commutes.
feat(NumberTheory/NumberField/Basic): ringOfIntegersEquiv API (#20544)
Andrew Yang's proof that the obvious triangle to ℚ commutes.