Theorem Hindman.FP.singleton

Modification history

2023-10-20 05:04

Mathlib/Combinatorics/Hindman.lean

style: rename `Stream'.nth` to `Stream'.get` (#7514) …

Modified Hindman.FP.singleton View on Github →

2023-03-10 07:31

Mathlib/Combinatorics/Hindman.lean

feat: Port/Combinatorics.Hindman (#2280) …

Added Hindman.FP.singleton View on Github →