#
Homotopy Type Theory
smooth space > history (changes)

Showing changes from revision #2 to #3:
Added | ~~Removed~~ | ~~Chan~~ged

# Contents

< smooth space

~~
~~## Definition

~~
~~A space? $S$ is **smooth** if the unit? $f:S \to \mathfrak{J}(S)$ from $S$ to the infinitesimal shape of $S$ is an effective epic mapping.

~~
~~## See also

~~
~~~~
~~
Last revised on June 18, 2022 at 16:03:44.
See the history of this page for a list of all contributions to it.