diff options
Diffstat (limited to 'txr.1')
-rw-r--r-- | txr.1 | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -23484,7 +23484,7 @@ is not divisible by two (odd), otherwise it returns .codn nil . -.coNP Functions @, succ @, ssucc @, sssucc @, pred @, ppred @ and pppred +.coNP Functions @, succ @, ssucc @, sssucc @, pred @, ppred and @ pppred .synb .mets (succ << number ) .mets (ssucc << number ) |