MarkB
generic
Sections
NuprlLIB
Doc
Def
b | a ==
c:
. a = b
c
is mentioned
In prior sections:
num
thy
1
MarkB
generic
Sections
NuprlLIB
Doc
c:
. a = b
c