Nuprl Definition : assoced
a ~ b == (a | b) ∧ (b | a)
Definitions occuring in Statement :
divides: b | a,
and: P ∧ Q
Definitions occuring in definition :
and: P ∧ Q,
divides: b | a
FDL editor aliases :
assoced
Latex:
a \msim{} b == (a | b) \mwedge{} (b | a)
Date html generated:
2016_05_14-PM-04_17_01
Last ObjectModification:
2015_09_22-PM-06_02_34
Theory : num_thy_1
Home
Index