Theorem Complex.cot_conj

Modification history