The sharp finite-field Nikodym exponent

Source: url:https://github.com/shengtongzhang-alt/nikodym Authors: Ting-Wei Chao, Zach Hunter, Cosmin Pohoata, Hung-Hsun Hans Yu, Shengtong Zhang Status: verified Main declarations: Nikodym.card_ge_pow_sub, Nikodym.exists_isNikodym_card_le Tags: combinatorics, finite-fields, nikodym-sets MSC: 05B25, 11T99