WhoCites
Definitions
MarkB
generic
Sections
NuprlLIB
Doc
Who Cites isl?
isl
Def isl(x) == InjCase(x; y. true
; z. false
)
Thm*
A,B:Type, x:A+B. isl(x)
About:
WhoCites
Definitions
MarkB
generic
Sections
NuprlLIB
Doc
; z. false)
A,B:Type, x:A+B. isl(x) 
; z. false)A,B:Type, x:A+B. isl(x) 
