Drop bicats subpackage of UniMath
Drop bicats subpackage of UniMath

(SubstitutionSystems depends on part of it so also dropped)

ejgallego/coq,ejgallego/coq,ejgallego/coq,coq/coq,SkySkimmer/coq,coq/coq,coq/coq,SkySkimmer/coq,Zimmi48/coq,Zimmi48/coq,coq/coq,SkySkimmer/coq,Zimmi48/coq,ejgallego/coq,Zimmi48/coq,SkySkimmer/coq