3. Chapter 1.3 Complex conjugate and modulus🔗

The main contructions and theorems below are about complex conjugate and modulus in Section 1.3.

import Mathlib.Data.Complex.Basic
import Mathlib.Tactic

Open the name space Complex

1. 3.1. Complex conjugate
2. 3.2. Absolute value / Modulus