added lemmas multp_code_eq_multp and multeqp_code_eq_reflclp_multp
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLEaa51e974b688: added lemmas multp_cancel, multp_cancel_add_mset, and multp_cancel_max
- Branches
- Unknown
- Tags