OAI/GroupTheory/SimpleAmenable/CentralCovers/FormalPairSplits.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SimpleAmenable.starPair line 17
  2. def OAI.SimpleAmenable.formalPairSplit line 26
  3. def OAI.SimpleAmenable.formalPairContainer line 30
  4. theorem OAI.SimpleAmenable.formalPair_container_shared line 33
  5. theorem OAI.SimpleAmenable.formalPair_split line 54
  6. theorem OAI.SimpleAmenable.formalPair_split_whole line 74
  7. theorem OAI.SimpleAmenable.formalPair_mem line 79
  8. theorem OAI.SimpleAmenable.formalPair_supported line 91
  9. theorem OAI.SimpleAmenable.formalPair_container_supported line 100
  10. theorem OAI.SimpleAmenable.formalPair_control line 109
  11. theorem OAI.SimpleAmenable.formalPair_containers_commute line 123
  12. theorem OAI.SimpleAmenable.formal_pairs_assemble line 136