From 3d907bc19c32c4dff343afc7e67c20fea94fa842 Mon Sep 17 00:00:00 2001
From: Amlal El Mahrouss <amlal@nekernel.org>
Date: Mon, 16 Feb 2026 20:03:53 +0100
Subject: chore: update papers, add assumptions in 'Lemmas for Integrals'
 paper.

Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
---
 papers | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/papers b/papers
index 99494b4..481c532 160000
--- a/papers
+++ b/papers
@@ -1 +1 @@
-Subproject commit 99494b4636c15bdcc16177bc5147487a027bb523
+Subproject commit 481c5327442d4bedeba3ec7d92b3e765a8c94005
-- 
cgit v1.2.3