WhoCites
Definitions
MarkB
generic
Sections
NuprlLIB
Doc
Who Cites divides?
divides
Def b | a ==
c:
. a = b
c
Thm*
a,b:
. (a | b)
Prop
Syntax:
b | a
has structure:
divides(b; a)
About:
WhoCites
Definitions
MarkB
generic
Sections
NuprlLIB
Doc
c:
. a = b
c
a,b:. (a | b) 
Propc:. a = bca,b:. (a | b) Prop
