Strict Beck–Fiala rounding for incidence matrices

Source: doi:10.1016/0166-218X(81)90022-6, url:https://github.com/jtraverso/lean-pool/blob/523a4ae71168258f9142d70bccf650a140355650/LeanPool/BeckFialaMatrix/Basic.lean Authors: Juan Pablo Traverso Gianini Status: verified Main declarations: BeckFialaMatrix.exists_rounding Tags: discrepancy-theory, beck-fiala, integer-rounding, incidence-matrices MSC: 05D40