Def CommAlgCat.binaryCofanIsColimit

Modification history