Opposite_Sides_and_Angles_of_Parallelogram_are_Equal
Provedeuclidgeometryproofwiki
The opposite sides and angles of a parallelogram are equal.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem Opposite_Sides_and_Angles_of_Parallelogram_are_Equal {V : Type _} [AddCommGroup V] (A B C D : V) (h_parallelogram : B - A = C - D) : A - D = B - C := by sorrySource