TY - RPRT TI - A Detailed Proof of Pohst's Inequality AU - Gabriel Raposo PY - 2022 UR - https://arxiv.org/abs/2210.15141 ID - 2210.15141 ER -