Nuprl Definition : ip-strict-between
a-b-c == a_b_c ∧ a # b ∧ b # c
Definitions occuring in Statement :
ip-between: a_b_c,
ss-sep: x # y,
and: P ∧ Q
Definitions occuring in definition :
ip-between: a_b_c,
and: P ∧ Q,
ss-sep: x # y
FDL editor aliases :
ip-strict-between
Latex:
a-b-c == a\_b\_c \mwedge{} a \# b \mwedge{} b \# c
Date html generated:
2017_10_05-AM-00_03_28
Last ObjectModification:
2017_03_12-PM-01_51_52
Theory : inner!product!spaces
Home
Index