Sphinxcontrib-Proof issueshttps://framagit.org/spalax/sphinxcontrib-proof/-/issues2018-12-07T19:48:22Zhttps://framagit.org/spalax/sphinxcontrib-proof/-/issues/7[latex] Labels of theorems without a title are defined twice2018-12-07T19:48:22ZLouis[latex] Labels of theorems without a title are defined twiceLouisLouis