rocq proverProving that Multipli

rocq prover - Proving that Multiplication is distributive - Stack Overflow
I am trying to prove the following theorem from Software Foundations>InductionI am using Coq 8.19.2
rocq proverProving that Multiplication is distributiveStack Overflow
admin1月前
530