Information for "Univalence axiom"

Basic information

Display title	Univalence axiom
Redirects to	Homotopy type theory (info)
Default sort key	Univalence axiom
Page length (in bytes)	140
Page ID	43675
Page content language	en - English
Page content model	wikitext
Indexing by robots	Allowed
Number of redirects to this page	0
HandWiki item ID	None

Edit	Allow all users (infinite)
Move	Allow all users (infinite)

Page creator	imported>Scavis
Date of page creation	13:19, 26 December 2020
Latest editor	imported>Scavis
Date of latest edit	13:19, 26 December 2020
Total number of edits	1
Recent number of edits (within past 60 days)	0
Recent number of distinct authors	0

Magic word (1)	__NONEWSECTIONLINK__
Transcluded templates (14)	Templates used on this page: Template:Mbox (view source) Template:R from merge (view source) Template:R to section (view source) Template:Redirect category shell (view source) Template:Redirect template (view source) Template:Talk other (view source) Template:Template link (view source) Template:Tl (view source) Module:Arguments (view source) Module:Message box (view source) Module:Message box/configuration (view source) Module:No globals (view source) Module:Redirect template (view source) Module:Yesno (view source)