Theorem Complex.dist_self_conj

Modification history