Transcendental b-divisors II -- Monotonicity theorem

In this paper, we develop the general intersection theory of nef b-divisors, extending the movable intersection theory. We define a notion of restricted volume of b-divisors and prove a quantitative version of the monotonicity of the intersection product. As a consequence, we prove a number of new volume inequalities of currents and cohomology classes.