(* Copyright 2021 (C) Mihails Milehins *) theory CZH_DG_Conclusions imports CZH_DG_Introduction CZH_DG_Digraph CZH_DG_Small_Digraph CZH_DG_DGHM CZH_DG_Small_DGHM CZH_DG_TDGHM CZH_DG_Small_TDGHM CZH_DG_PDigraph CZH_DG_Subdigraph CZH_DG_Simple CZH_DG_GRPH CZH_DG_Rel CZH_DG_Par CZH_DG_Set begin end