Nuprl Definition : dlattice-eq
dlattice-eq(X;as;bs) == as
⇒ bs ∧ bs
⇒ as
Definitions occuring in Statement :
dlattice-order: as
⇒ bs
,
and: P ∧ Q
Definitions occuring in definition :
and: P ∧ Q
,
dlattice-order: as
⇒ bs
FDL editor aliases :
dlattice-eq
Latex:
dlattice-eq(X;as;bs) == as {}\mRightarrow{} bs \mwedge{} bs {}\mRightarrow{} as
Date html generated:
2017_02_21-AM-09_53_10
Last ObjectModification:
2017_01_21-PM-04_01_17
Theory : lattices
Home
Index