Positive Radon-Nikodym derivative (source code)

= Positive Radon-Nikodym derivative

Mutual absolute continuity is equivalent to the Radon--Nikodym derivative being finite and strictly positive almost everywhere.