OAI/GroupTheory/Hyperbolic/Torsion.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Release075.MarkedLineData.presentation_finiteOrder_eq_one line 9
2. theorem OAI.Release075.MarkedLineData.presentation_torsionFree line 43