mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard
verified publisher icon leanprover-community

feat(ring_theory/valuation/valuation_subring): Define unit group and show that it determines valuation ring

Open adamtopaz opened this issue 3 years ago • 0 comments

Open in Gitpod

adamtopaz avatar May 02 '22 20:05 adamtopaz