Theorem Equivalence.transitive

Modification history