Information for "Extensional type theory"

Basic information

Display title	Extensional type theory
Redirects to	Intuitionistic type theory (info)
Default sort key	Extensional type theory
Page length (in bytes)	90
Page ID	72105
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>Rjetedi
Date of page creation	14:14, 26 December 2020
Latest editor	imported>Rjetedi
Date of latest edit	14:14, 26 December 2020
Total number of edits	1
Recent number of edits (within past 60 days)	0
Recent number of distinct authors	0

Hidden categories (2)	This page is a member of 2 hidden categories: Category:Printworthy redirects Category:Redirects with possibilities
Transcluded templates (12)	Templates used on this page: Template:C (view source) Template:Cat (view source) Template:R with possibilities (view source) Template:Redirect template (view source) Template:Sandbox other (view source) Template:Template link (view source) Template:Tl (view source) Module:Arguments (view source) Module:No globals (view source) Module:Redirect template (view source) Module:String (view source) Module:Yesno (view source)