Theorem Equiv.conj_comp

Modification history