WhoCites Definitions var jlc Sections ClassicalProps(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 var jlc Sections ClassicalProps(jlc) Doc