# Homotopy Type Theory infinitesimally thickened point > history (changes)

Showing changes from revision #2 to #3: Added | Removed | Changed

# Contents

## Definition

A space? $S$ is an infinitesimally thickened point if the infinitesimal shape of $S$ is contractible.