Theorem partOrd_dual_comp_forget_to_preord

Modification history