OAI/GroupTheory/SimpleAmenable/CentralCovers/PairControl.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SimpleAmenable.InitialCoverSystem.pairContainer line 20
  2. theorem OAI.SimpleAmenable.InitialCoverSystem.pairContainer_eq line 27
  3. theorem OAI.SimpleAmenable.InitialCoverSystem.pairContainer_supported line 38
  4. theorem OAI.SimpleAmenable.InitialCoverSystem.pairSplit_control line 46
  5. theorem OAI.SimpleAmenable.InitialCoverSystem.pairContainer_commute line 53
  6. theorem OAI.SimpleAmenable.InitialCoverSystem.pairSplit_commute line 59
  7. theorem OAI.SimpleAmenable.InitialCoverSystem.pairStar_small line 72
  8. theorem OAI.SimpleAmenable.InitialCoverSystem.pairStar_range line 92
  9. def OAI.SimpleAmenable.copySourceMap line 115
  10. def OAI.SimpleAmenable.formalAssignmentEval line 118
  11. theorem OAI.SimpleAmenable.formalAssignmentEval_surjective line 122
  12. theorem OAI.SimpleAmenable.forbidden_factor_trivial line 136
  13. theorem OAI.SimpleAmenable.formal_component_of_inputs line 171