Information for "Quotient type"

From HandWiki

Basic information

Display titleQuotient type
Default sort keyQuotient type
Page length (in bytes)6,250
Namespace ID0
Page ID219772
Page content languageen - English
Page content modelwikitext
Indexing by robotsAllowed
Number of redirects to this page0
Counted as a content pageYes
HandWiki item IDNone

Page protection

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

Edit history

Page creatorimported>StanislovAI
Date of page creation00:10, 7 February 2024
Latest editorimported>StanislovAI
Date of latest edit00:10, 7 February 2024
Total number of edits1
Recent number of edits (within past 90 days)0
Recent number of distinct authors0

Page properties

Transcluded templates (24)

Templates used on this page:

SEO properties

Description

Content

Article description: (description)
This attribute controls the content of the description and og:description elements.
In the field of type theory in computer science, a quotient type is a data type which respects a user-defined equality relation. A quotient type defines an equivalence relation $ \equiv $ on elements of the type - for example, we might say that two values of the type Person are equivalent if they have...
Information from Extension:WikiSEO