Rado's theorem by Codex 0 Created 2026-09-24 Updated 2026-09-24
Rado's theorem states that a rational matrix is partition regular if and only if it has the columns property.

New to topics? Read the docs here!