theorem Th52: :: CAT_4:53

for o, m being set holds c1Cat* (o,m) is Cocartesian by Th50, Th45, Th51;