Content deleted Content added
m Fixing indents of pseudocode in proof of no universal solvable word problem group |
m Did not fully fix indents in last edit of pseudocode (sorry) |
||
Line 166:
'''Let''' ''n'' = 0
'''Let''' ''repeatable'' = TRUE
output 0.
|