User contributions for 2001:718:2:80B:223:8BFF:FE30:F662
Jump to navigation
Jump to search
12 June 2013
- 17:2817:28, 12 June 2013 diff hist +3,742 N RE (complexity) →Relations to other classes: added the reason for R = RE ∩ coRE