PR !4#14237: feat: Define the localization of a fractiona...

Stream: triage

[Random Issue Bot]

Today I chose PR #14237 for discussion!

feat: Define the localization of a fractional ideal at a prime ideal
Created by @James Sundstrom (@js2357) on 2024-06-28
Labels: awaiting-author, t-algebra, new-contributor

Is this PR still relevant? Any recent updates? Anyone making progress?