# Homotopy Type Theory geometrically contractible space > history (changes)

Showing changes from revision #4 to #5: Added | Removed | Changed

# Contents

## Definition

A space $S$ is geometrically contractible if the shape of $S$ is contractible.