6 kyu
Magic is Commutative
39 of 142Axure
Description:
For any binary operator ∙ with (x∙y)∙y=x and y∙(y∙x)=x, we havex∙y=y∙x.
Try to prove this!
(This interesting little proposition comes as an exercise in Introduction to Algebra by Aleksei Ivanovich Kostrikin)
Puzzles
Similar Kata:
Stats:
| Created | Mar 18, 2019 |
| Published | Mar 18, 2019 |
| Warriors Trained | 463 |
| Total Skips | 25 |
| Total Code Submissions | 217 |
| Total Times Completed | 142 |
| Agda Completions | 39 |
| Coq Completions | 65 |
| Lean Completions | 46 |
| Total Stars | 9 |
| % of votes with a positive feedback rating | 99% of 36 |
| Total "Very Satisfied" Votes | 35 |
| Total "Somewhat Satisfied" Votes | 1 |
| Total "Not Satisfied" Votes | 0 |
| Total Rank Assessments | 3 |
| Average Assessed Rank | 5 kyu |
| Highest Assessed Rank | 5 kyu |
| Lowest Assessed Rank | 6 kyu |
