Theorem distLatCat_dual_comp_forget_to_latCat

Modification history