WhoCites
Definitions
mb
nat
Sections
MarkB
generic
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Who Cites prop
and?
prop_and
Def (
P
Q
)(
L
) ==
P
(
L
) &
Q
(
L
)
Thm*
T
:Type,
P
,
Q
:(
T
Prop). (
P
Q
)
T
Prop
Syntax:
P
Q
has structure:
prop_and(
P
;
Q
)
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
WhoCites
Definitions
mb
nat
Sections
MarkB
generic
Doc