Theorem SemilatSupCat_dual_comp_forget_to_partOrdCat

Modification history