spernerT7Lean0.1.0
A 7-vertex tournament whose Sperner capacity exceeds the order of its largest transitive subtournament (Lean 4, kernel-only)
Sort by
Require Order
mathlib
v4.35.0-rc2The math library of Lean 4
spernerT7Lean0.1.0v4.35.0-rc2