Minimum-sized generating sets of the direct powers of the free distributive lattice on three generators and a Sperner theorem - Gábor Czédli (2023)