From e65d61d53195f2e02ae39b126a8e64819f2eaca6 Mon Sep 17 00:00:00 2001
From: jstoobysmith <72603918+jstoobysmith@users.noreply.github.com>
Date: Tue, 9 Jul 2024 10:21:57 -0400
Subject: [PATCH] chore: Remove .DS_Store

---
 .DS_Store                                        | Bin 6148 -> 0 bytes
 .gitignore                                       |   3 ++-
 HepLean/BeyondTheStandardModel/TwoHDM/Basic.lean |  12 ++++++------
 3 files changed, 8 insertions(+), 7 deletions(-)
 delete mode 100644 .DS_Store

diff --git a/.DS_Store b/.DS_Store
deleted file mode 100644
index 23f45740b758d6d9086545ae868263442b61f3e6..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 6148
zcmeHK%}&BV5S|5;5@NzZ6ONmBB?|b1#!G|v0@mn34N^;_v33b9av&r<>kIiLK94iI
zi&4>&i7{j*nfaFaX**w=T?PO|dmJ<XDgfZ166Q*1z7dL(E=bOL@`yrTV*q3DgXA{y
z)j~Eq{v!kQ?uxJlcMw7fAKsse=y8jXz%7h0IK*(`Pm-Y@DIX&*{xAxYv|fJ|xqM+|
zwdfR`vUBYX)Wl1B={RZkMwj&KOsUA9uY3M^*q?MO>&Gfidtuxk>4GrmW6IS<7zb+7
zR^vEGbggFsPRS{CE7j?=*=p5f<6v)Alheayy(V{e_Ghz_v$45-blSa-9%A)GkB#3W
zevn$$EY9H>7hk%1^hR-{;yaAYtLE8^%m6dM3@jxBcC&NJOW7Sa#SAb5zhQv(2Z>7P
zTFeaUtpkl70T2u5)`DxAC8$PPbS-8EF@hpYDWWMAcEk{-9R1SfxfU~nrW}MFK7_rq
zuoH^VcgO2Xoesh^$d(yk20k-DvmZ)@&i|92=YO5Vh8bW6mXiTd=y;tr_GZu4g)Zr=
um8dtUB$SsKd@sR;K8i7yj^Zk+7W7M6Ai5SagXlrwKLVNtHq5}EGVlhd6H?3o

diff --git a/.gitignore b/.gitignore
index d701102..acf3987 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,5 @@
 /build
 /lake-packages/*
 .lake/packages/*
-.lake/build
\ No newline at end of file
+.lake/build
+.DS_Store
diff --git a/HepLean/BeyondTheStandardModel/TwoHDM/Basic.lean b/HepLean/BeyondTheStandardModel/TwoHDM/Basic.lean
index a3432b5..18125cb 100644
--- a/HepLean/BeyondTheStandardModel/TwoHDM/Basic.lean
+++ b/HepLean/BeyondTheStandardModel/TwoHDM/Basic.lean
@@ -80,26 +80,26 @@ lemma left_zero : potential 0 Φ2 m₁₁2 m₂₂2 𝓵₁ 𝓵₂ 𝓵₃ 𝓵
 
 ## Potential bounded from below
 
-TODO: Complete this section.
-
 -/
 
+/-! TODO: Prove bounded properties of the 2HDM potential. -/
+
 /-!
 
 ## Smoothness of the potential
 
-TODO: Complete this section.
-
 -/
 
+/-! TODO: Prove smoothness properties of the 2HDM potential. -/
+
 /-!
 
 ## Invariance of the potential under gauge transformations
 
-TODO: Complete this section.
-
 -/
 
+/-! TODO: Prove invariance properties of the 2HDM potential. -/
+
 end potential
 
 end