2021-11-27 desharna merged
2021-11-27 desharna added lemmas irreflp_{less,greater} to preorder and {trans,irrefl}_mult{,p} to Multiset
2021-11-27 desharna redefined less_multiset to be based on multp
2021-11-27 desharna added lemmas multp_code_eq_multp and multeqp_code_eq_reflclp_multp
2021-11-27 desharna added lemmas multp_cancel, multp_cancel_add_mset, and multp_cancel_max
2021-11-27 desharna added lemmas multp_implies_one_step, one_step_implies_multp, and subset_implies_multp
2021-11-27 desharna added lemma wfP_multp
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 tip