added lemmas multp_cancel, multp_cancel_add_mset, and multp_cancel_max
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE74ac414618e2: added lemmas multp_implies_one_step, one_step_implies_multp, and…
- Branches
- Unknown
- Tags