
Exit subproof

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