(* Copyright 2021 (C) Mihails Milehins *) theory CZH_SMC_Conclusions imports CZH_SMC_Introduction CZH_SMC_Semicategory CZH_SMC_Small_Semicategory CZH_SMC_Semifunctor CZH_SMC_Small_Semifunctor CZH_SMC_NTSMCF CZH_SMC_Small_NTSMCF CZH_SMC_PSemicategory CZH_SMC_Subsemicategory CZH_SMC_Simple CZH_SMC_Rel CZH_SMC_Par CZH_SMC_Set CZH_SMC_GRPH CZH_DG_SemiCAT CZH_SMC_SemiCAT begin end