Theorem Complex.isometry_conj

Modification history