Tangent and cotangent/Monotonicity behavior/Fact

The

real tangent function induces a bijective, strictly increasing function

and the real cotangent function induces a bijective strictly decreasing function