Theorem: Rectangle.symm (PrimeNumberTheoremAnd/Rectangle.lean)

State before:
z w : ℂ
c : ℝ
⊢ Rectangle z w = Rectangle w z
Tactic:
simp [Rectangle, uIcc_comm]
State after:
no goals