PR #2819: feat(number_theory/geometry_of_numbers): Minkow...

Stream: triage

[Random Issue Bot]

Today I chose PR 2819 for discussion!

feat(number_theory/geometry_of_numbers): Minkowski's theorem
Created by @Alex J Best (@alexjbest) on 2020-05-25
Labels: not-ready-to-merge

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

[Yaël Dillies]

I have this one on my radar because it's a prerequisite of Freiman's theorem. Currently waiting for Alex to clarify what's there to be done.