-
@matthematician It's not handled rigorously (the curriculum is for ninth grade students learning how to use @sagemath to explore mathematics) but essentially we define the product of complex numbers as the product of their moduli and the sum of their arguments.