Logical manifestations of topological concepts, and other things, via the univalent point of view.
GNU General Public License v3.0
228
stars
42
forks
source link
Every ordinal is the supremum of the successors of its initial segments. #277
Closed
tomdjong closed 4 months ago