Information for "Proof assistant/External Links"

Jump to navigation Jump to search

Basic information

Display titleProof assistant/External Links
Default sort keyProof assistant/External Links
Page length (in bytes)2,827
Page ID174121
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 creatorimported>Boris Tsirelson
Date of page creation02:16, 12 August 2010
Latest editorimported>Meg Taylor
Date of latest edit15:14, 3 November 2013
Total number of edits44
Total number of distinct authors2
Recent number of edits (within past 90 days)0
Recent number of distinct authors0

Page properties

Magic word (1)
  • __NOTOC__
Hidden categories (2)

This page is a member of 2 hidden categories:

Transcluded templates (29)

Templates used on this page: