From eacbe6920872fb9e18959a400a87ae7c0c0ccbd9 Mon Sep 17 00:00:00 2001 From: Amlal El Mahrouss Date: Mon, 16 Feb 2026 20:30:19 +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 f4a08fa..362eb6c 160000 --- a/papers +++ b/papers @@ -1 +1 @@ -Subproject commit f4a08fa5ea5e3e6f420db9fe08c66e863443b520 +Subproject commit 362eb6c2bd9c8c7d971db74772dcac8ce89a4547 -- cgit v1.2.3