en

Exit subproof

ru

Translation exit subproof into russian

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