Repository navigation

Weakly contractible definition + trivial theorems - #1775

Merged

prabau merged 15 commits into

mainfrom

weaklycontractibleredo

May 24, 2026

Merged

Weakly contractible definition + trivial theorems#1775
prabau merged 15 commits into
mainfrom
weaklycontractibleredo

Commits on May 16, 2026
- weakly contractible new
  felixpernegger
  committed
  518314a
- fix uid
  felixpernegger
  committed
  f765ccd
Commits on May 19, 2026
- Update properties/P000242.md
  
  felixpernegger
  and
  prabau
  authored
  4644446
- Apply suggestion from @prabau
  
  felixpernegger
  and
  prabau
  authored
  e17c3ee
- fix refs
  felixpernegger
  committed
  4c905bb
- add hatcher back (needed for products)
  felixpernegger
  committed
  219324c
- fix t892
  felixpernegger
  committed
  7ee2bff
Commits on May 21, 2026
- Update properties/P000242.md
  
  felixpernegger
  and
  prabau
  authored
  fde3377
Commits on May 22, 2026
- Update properties/P000242.md
  
  felixpernegger
  and
  prabau
  authored
  a945896
Commits on May 23, 2026
- more references and minor tidying up
  prabau
  committed
  7c0174c
Commits on May 24, 2026
- arbitrary product
  felixpernegger
  authored
  c1e803d
- nonempty in first paragraph
  felixpernegger
  authored
  eb8856c
- Update theorems/T000893.md
  
  felixpernegger
  and
  prabau
  authored
  389e5f7
- Delete theorems/T000890.md
  felixpernegger
  authored
  9c9604a
- reindex
  felixpernegger
  authored
  ec57e94