Theorem nonemptyFinLinOrd_dual_comp_forget_to_linOrd

Modification history