OAI/Combinatorics/BalancedRyser/Construction/ConfigurationRealization.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.Balanced.ConfigurationRealizationProof.PointDomain line 14
2. abbrev OAI.Balanced.ConfigurationRealizationProof.DirectionalLabel line 15
3. def OAI.Balanced.ConfigurationRealizationProof.blockLabelSigmaEquiv line 18
4. def OAI.Balanced.ConfigurationRealizationProof.directionEquiv line 36
5. def OAI.Balanced.ConfigurationRealizationProof.directionalLabelEquiv line 39
6. def OAI.Balanced.ConfigurationRealizationProof.labelEquiv line 46
7. def OAI.Balanced.ConfigurationRealizationProof.realization_of_assignment line 53