OAI/GroupTheory/SimpleAmenable/Homology/ConfigurationEquivariance.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SimpleAmenable.ConfigurationChains.push line 17
  2. theorem OAI.SimpleAmenable.ConfigurationChains.push_single line 20
  3. theorem OAI.SimpleAmenable.ConfigurationChains.push_id line 23
  4. theorem OAI.SimpleAmenable.ConfigurationChains.push_comp line 28
  5. theorem OAI.SimpleAmenable.ConfigurationChains.push_cone line 34
  6. theorem OAI.SimpleAmenable.ConfigurationChains.push_faceSum line 40
  7. theorem OAI.SimpleAmenable.ConfigurationChains.push_boundary line 46
  8. theorem OAI.SimpleAmenable.ConfigurationChains.push_admissible line 52
  9. def OAI.SimpleAmenable.ConfigurationChains.degree line 60
  10. theorem OAI.SimpleAmenable.ConfigurationChains.mem_degree line 72
  11. def OAI.SimpleAmenable.ConfigurationChains.degreeBoundary line 75
  12. theorem OAI.SimpleAmenable.ConfigurationChains.degreeBoundary_val line 79
  13. theorem OAI.SimpleAmenable.ConfigurationChains.degreeBoundary_square line 82
  14. def OAI.SimpleAmenable.ConfigurationChains.degreePush line 87
  15. theorem OAI.SimpleAmenable.ConfigurationChains.degreePush_val line 92
  16. theorem OAI.SimpleAmenable.ConfigurationChains.degreePush_boundary line 96