Information for "Impredicative types"

Jump to navigation Jump to search

Basic information

Display titleImpredicative types
Default sort keyImpredicative types
Page length (in bytes)2,208
Page ID9492
Page content languageen - English
Page content modelwikitext
Indexing by robotsAllowed
Number of redirects to this page0
Counted as a content pageYes
Number of subpages of this page0 (0 redirects; 0 non-redirects)

Page protection

EditAllow all users (infinite)
MoveAllow all users (infinite)
View the protection log for this page.

Edit history

Page creatorBenmachine (talk | contribs)
Date of page creation01:13, 6 September 2012
Latest editorNoughtmare (talk | contribs)
Date of latest edit11:46, 4 February 2023
Total number of edits11
Total number of distinct authors3
Recent number of edits (within past 90 days)0
Recent number of distinct authors0