Theorem Equiv.semiconj_conj

Modification history