Fredholm integral equations

From Maia fixed point theorem to the fixed point theory in a set with two metrics