Theorem FinPartOrd_dual_comp_forget_to_partOrd

Modification history