Nuprl Definition : mpdivides
a p| b == (a | b) ∧ (¬(b | a))
Definitions occuring in Statement :
mdivides: b | a,
not: ¬A,
and: P ∧ Q
Definitions occuring in definition :
and: P ∧ Q,
not: ¬A,
mdivides: b | a
Latex:
a p| b == (a | b) \mwedge{} (\mneg{}(b | a))
Date html generated:
2016_05_16-AM-07_43_15
Last ObjectModification:
2015_09_23-AM-09_51_51
Theory : factor_1
Home
Index