You need to sign in or sign up before continuing.×
5 kyu

Every group of order 4 is commutative

Description:

Loading description...
Theorem Proving
Fundamentals

Similar Kata:

Stats:

CreatedApr 9, 2020
PublishedApr 9, 2020
Warriors Trained86
Total Skips9
Total Code Submissions33
Total Times Completed21
Lean Completions21
Total Stars2
% of votes with a positive feedback rating100% of 7
Total "Very Satisfied" Votes7
Total "Somewhat Satisfied" Votes0
Total "Not Satisfied" Votes0
Total Rank Assessments4
Average Assessed Rank
5 kyu
Highest Assessed Rank
5 kyu
Lowest Assessed Rank
6 kyu
Ad
Contributors
  • kckennylau Avatar
  • monadius Avatar
Ad