From b6ec38252cc2c58576fccd203431fe5fc5a390f2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Pierre=20Cast=C3=A9ran?=
 <40755850+Casteran@users.noreply.github.com>
Date: Mon, 12 Feb 2024 17:49:21 +0100
Subject: [PATCH] Update doc (#179)

* minor change

* small changes in doc

* simplify the proposition 'alpha < phi0 beta'

* simplify the proposition 'alpha < phi0 beta'

* improve Alectryon output

* minor changes in pdf doc

* minor changes in pdf doc