OAI/GroupTheory/SimpleAmenable/CentralCovers/AssignmentAtoms.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SimpleAmenable.assignmentAtom line 16
  2. theorem OAI.SimpleAmenable.supported_assignmentAtoms_generate line 19
  3. theorem OAI.SimpleAmenable.assignmentAtoms_generate line 36
  4. instance OAI.SimpleAmenable.assignmentSwapMulAction line 48
  5. theorem OAI.SimpleAmenable.assignmentSwap_smul_fst line 64
  6. theorem OAI.SimpleAmenable.assignmentSwap_base_atom line 67
  7. theorem OAI.SimpleAmenable.assignmentAtom_conjugation line 71
  8. theorem OAI.SimpleAmenable.hom_comp_freeLift line 99
  9. theorem OAI.SimpleAmenable.freeLift_comp_map line 105
  10. theorem OAI.SimpleAmenable.supported_atom_word line 113
  11. theorem OAI.SimpleAmenable.swapLabel_card_support line 145
  12. theorem OAI.SimpleAmenable.swapLabelConj_support line 148
  13. theorem OAI.SimpleAmenable.assignmentAtom_support line 157
  14. theorem OAI.SimpleAmenable.atom_conjugation_support line 168
  15. theorem OAI.SimpleAmenable.exists_supported_atom_words line 185