Zulip Chat Archive
Stream: Is there code for X?
Topic: Do we by any chance have the BKK bound?
metakuntyyy (Jan 18 2026 at 16:20):
See https://en.wikipedia.org/wiki/Bernstein%E2%80%93Kushnirenko_theorem, if not would this fit in mathlib?
Last updated: Feb 28 2026 at 14:05 UTC