From 8cc98698e8fc2cf86c5173c2dc0834538a2ca075 Mon Sep 17 00:00:00 2001
From: Clément Pit-Claudel
Date: Sun, 29 Apr 2018 23:19:10 -0400
Subject: [doc] Small fixes

---
 doc/sphinx/addendum/micromega.rst | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'doc/sphinx/addendum')

diff --git a/doc/sphinx/addendum/micromega.rst b/doc/sphinx/addendum/micromega.rst
index f887a5feea..0e9c23b9bb 100644
--- a/doc/sphinx/addendum/micromega.rst
+++ b/doc/sphinx/addendum/micromega.rst
@@ -150,9 +150,10 @@ are a way to take into account the discreteness of :math:`\mathbb{Z}` by roundin
 
 .. _ceil_thm:
 
-**Theorem**. Let :math:`p` be an integer and :math:`c` a rational constant. Then
+.. thm:: Bound on the ceiling function
 
- :math:`p \ge c \rightarrow p \ge \lceil{c}\rceil`
+   Let :math:`p` be an integer and :math:`c` a rational constant. Then
+   :math:`p \ge c \rightarrow p \ge \lceil{c}\rceil`.
 
 For instance, from 2 x = 1 we can deduce
 
-- 
cgit v1.2.3