In Pandas how can I map a cell in a filtered DataFrame to the corresponding cell in the original?

Question

In the code below, I need some way to determine the value of row_num_mapped such that the assertion val == val2 is always true. In other words, for a r