Comment Comment by selimthegrim Does Brunn-Minkowski get used here at all wrt (maybe mixed) volume? parent selimthegrim 2 years ago