OAI/Combinatorics/BalancedRyser/Incidence/SmallProjectiveStability.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Balanced.small_projective_line_refinement line 16
2. theorem OAI.Balanced.vertical_fiber_le_projective_section line 42
3. theorem OAI.Balanced.card_nonvertical_skew_codes_explicit line 53
4. theorem OAI.Balanced.small_projective_stability line 62