Idempotency of entailment (source code)

= Idempotency of entailment
{wiki=Idempotency_of_entailment}