Thms assignment Sections ClassicalProps(jlc) Doc

subtype Def S T == x:S. x T

About:
!abstractionallmember