This is the right distributive law, which shows that multiplication can be distributed from the right over addition. It is the symmetric form of the left distributive law, mul_add, which we proved in ...
US President Trump said Israeli Prime Minister Benjamin Netanyahu would have "no choice" but to accept any nuclear agreement negotiated between Washington and Tehran. "He won't have any choice," Trump ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results