Limit of the arithmetic mean

00100% of 12monadius
Loading description...
Theorem Proving


CreatedApr 23, 2020
PublishedApr 23, 2020
Warriors Trained22
Total Skips0
Total Code Submissions1
Total Times Completed2
Lean Completions2
Total Stars0
% of votes with a positive feedback rating100% of 1
Total "Very Satisfied" Votes1
Total "Somewhat Satisfied" Votes0
Total "Not Satisfied" Votes0
Total Rank Assessments1
Average Assessed Rank
6 kyu
Highest Assessed Rank
6 kyu
Lowest Assessed Rank
6 kyu