From 55b179d661b1aff39a2f6d9c0d4c9e9b445fa958 Mon Sep 17 00:00:00 2001
From: jstoobysmith <72603918+jstoobysmith@users.noreply.github.com>
Date: Fri, 31 Jan 2025 16:23:26 +0000
Subject: [PATCH] Update notes.lean

---
 scripts/MetaPrograms/notes.lean | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/scripts/MetaPrograms/notes.lean b/scripts/MetaPrograms/notes.lean
index b708f07..16fd936 100644
--- a/scripts/MetaPrograms/notes.lean
+++ b/scripts/MetaPrograms/notes.lean
@@ -149,10 +149,6 @@ def perturbationTheory : Note where
     .name `FieldSpecification.timeOrderSign,
     .h2 "Creation and annihilation states",
     .h2 "Normal ordering",
-    .h2 "Proto-operator algebra",
-    .name `FieldSpecification.ProtoOperatorAlgebra,
-    .name `FieldSpecification.ProtoOperatorAlgebra.crAnF_ofState_mul_normalOrder_ofStatesList_eq_sum,
-    .name `FieldSpecification.ProtoOperatorAlgebra.crAnF_ofState_normalOrder_insert,
     .h1 "Wick Contractions",
     .h1 "Proof of Wick's theorem",
     .h2 "Wick terms",