Hello, I'm looking to prove a specific part of the survivor function. Basically, I need to show that the mean residual life function [m(t)] uniquely defines the distribution of T.

I have a solution, but I am not able to follow how the integration process leads to the final answer:

Here mrl(t) is the equivalent of m(t).