Adding derive Eq, PartialEq to MultiProof#930

citizen-stig wants to merge 1 commit intothrumdev:masterthrumdev/nomt:masterfrom

citizen-stig:nikolai/derive-eq-for-multi-proofcitizen-stig/nomt:nikolai/derive-eq-for-multi-proofCopy head branch name to clipboard