Theorem Transitive.comap

Modification history