Proving Uniformity in an Infinite Arithmetic Mean Grid · Methods | Problems