WhoCites Definitions discrete jlc Sections Support(jlc) Doc

Who Cites subtype?
subtypeDef S T == x:S. x T

Syntax:S T has structure: subtype(S; T)

About:
membersubtypeall!abstraction

WhoCites Definitions discrete jlc Sections Support(jlc) Doc