Revision 21056255 of "Randomized polynomial time" on enwiki

#REDIRECT[[RP (complexity)]]