Monotonicity of entailment (source code)

= Monotonicity of entailment
{wiki=Monotonicity_of_entailment}