Exit subproof
Übersetzung von "exit subproof" ins Russisch
exit subproof
выйти из поддоказательства
He should exit the subproof once the conclusion is reached.
Он должен выйти из поддоказательства, как только будет достигнуто заключение.