TY - RPRT TI - A density bound for triangle-free $4$-critical graphs AU - Benjamin Moore AU - Evelyne Smith-Roberge PY - 2022 UR - https://arxiv.org/abs/2012.01503 ID - 2012.01503 ER -