From 135ff6d7e9868daa37559a717b679a26f5337c1b Mon Sep 17 00:00:00 2001 From: Amlal El Mahrouss Date: Mon, 16 Feb 2026 20:49:46 +0100 Subject: chore: update papers, add assumptions in 'Lemmas for Integrals.' paper. Signed-off-by: Amlal El Mahrouss --- papers | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/papers b/papers index 362eb6c..ebab21a 160000 --- a/papers +++ b/papers @@ -1 +1 @@ -Subproject commit 362eb6c2bd9c8c7d971db74772dcac8ce89a4547 +Subproject commit ebab21a391c88e318a7ff06c50105418736bc1bf -- cgit v1.2.3