MR for saturation fuzzing proofs help
Saturation_fuzzing.v advancements with proofs test_add_neq_proof and test_add_zero_proof. Unclear how to continue. Completed test_mul_commutes_proof
Saturation_fuzzing.v advancements with proofs test_add_neq_proof and test_add_zero_proof. Unclear how to continue. Completed test_mul_commutes_proof