OAI/Combinatorics/BalancedRyser/Construction/ConfigurationHypergraphSemantics.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Balanced.PartiteHypergraph.toHypergraphEdgeEquiv line 10
2. theorem OAI.Balanced.PartiteHypergraph.no_standard_cover_at_most_rank_sub_one line 22
3. def OAI.Balanced.ConfigurationRealization.standardEdgeEquiv line 38
4. theorem OAI.Balanced.ConfigurationRealization.standardEdgeEquiv_incidence line 42
5. theorem OAI.Balanced.ConfigurationRealization.standard_edgeSet_ncard line 50