Mv stuff around.
WIP: trans_incomp_rev, total_preorder_compl. Add equiv_rel_incomp, strict_weak_order_equiv_incomp.
Loading
Please register or sign in to comment
WIP: trans_incomp_rev, total_preorder_compl. Add equiv_rel_incomp, strict_weak_order_equiv_incomp.