OAI/GroupTheory/SimpleAmenable/CentralCovers/TemplateActualRelators.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SimpleAmenable.ActualLawfulTable.template_relator_central_on line 18
2. theorem OAI.SimpleAmenable.template_supported_word_controls_on line 52
3. theorem OAI.SimpleAmenable.smallActualRelator_at line 82
4. theorem OAI.SimpleAmenable.InitialCoverSystem.actual_template_actual_word_controls line 95