TY - RPRT TI - An identity involving counts of binary matrices AU - Hannes Leeb PY - 2025 UR - https://arxiv.org/abs/2511.02883 ID - 2511.02883 ER -