Conservative definition
Parameters: a, b
exists h. h + S a = bDefinition prerequisites
Theorem uses (notation, not proof premises)
AP016 · AP019 · AP020 · AP024 · AP038 · AP092 · CV002 · CV003 · CV011 · CV014 · CV016 · CV017 · CV021 · CV024 · CV026 · CV027 · CV028 · CV029 · CV031 · CV033 · CV034 · CV036 · CV041 · CV043 · CV045 · CV047 · CV050 · CV051 · CV052 · CV055 · CV059 · CV061 · CV072 · CV073 · CV074 · CV076 · CV077 · CV078 · CV079 · CV080 · CV081 · CV085 · SQ002 · SQ003 · SQ004 · SQ005 · SQ006 · SQ009