Theorem Nat.exists_lt_modEq_of_infinite

Modification history

2023-01-23 12:37
Mathlib/Combinatorics/Pigeonhole.lean
feat: Port `Combinatorics.Pigeonhole` (#1758)
Added Nat.exists_lt_modEq_of_infiniteView on Github →