Theory Hypergraph_Colourings_Root

theory Hypergraph_Colourings_Root 
imports
Hypergraph_Colourings
Basic_Bounds_Application
LLL_Applications
begin
end