OAI/Geometry/SingularHomology/AffineSingularRealization.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Problem340.AffineSingularRealization.realize line 17
  2. theorem OAI.Problem340.AffineSingularRealization.realize_single line 23
  3. theorem OAI.Problem340.AffineSingularRealization.singular_face line 28
  4. theorem OAI.Problem340.AffineSingularRealization.boundary_realize_single line 40
  5. theorem OAI.Problem340.AffineSingularRealization.boundary_realize_single_real line 60
  6. abbrev OAI.Problem340.AffineSingularRealization.Simplex line 70
  7. def OAI.Problem340.AffineSingularRealization.realizeInSimplex line 72
  8. theorem OAI.Problem340.AffineSingularRealization.realizeInSimplex_single line 78
  9. theorem OAI.Problem340.AffineSingularRealization.realizeInSimplex_generator line 85
  10. theorem OAI.Problem340.AffineSingularRealization.singular_simplex_face line 90
  11. theorem OAI.Problem340.AffineSingularRealization.boundary_realizeInSimplex_single line 103
  12. theorem OAI.Problem340.AffineSingularRealization.realizeInSimplex_boundary line 125