index of the mininum value in stack [ [ 1, [ ] ], [ [ 0, [ ] ], [ ] ] ] = [ 1, [ ] ]
Start from the conclusion and work back up the proof. Click the arrow to show the parents.
Start from the conclusion and work back up the proof. Click the arrow to show the parents.