WhoCites
Definitions
MarkB
generic
Sections
NuprlLIB
Doc
Who Cites subtype?
subtype
Def S
T ==
x:S. x
T
Syntax:
S
T
has structure:
subtype(S; T)
About:
WhoCites
Definitions
MarkB
generic
Sections
NuprlLIB
Doc