Nuprl Definition : req-cube
req-cube(k;c1;c2) == req-vec(k;fst(c1);fst(c2)) ∧ req-vec(k;snd(c1);snd(c2))
Definitions occuring in Statement :
req-vec: req-vec(n;x;y),
pi1: fst(t),
pi2: snd(t),
and: P ∧ Q
Definitions occuring in definition :
and: P ∧ Q,
pi1: fst(t),
req-vec: req-vec(n;x;y),
pi2: snd(t)
FDL editor aliases :
req-cube
Latex:
req-cube(k;c1;c2) == req-vec(k;fst(c1);fst(c2)) \mwedge{} req-vec(k;snd(c1);snd(c2))
Date html generated:
2019_10_30-AM-11_31_01
Last ObjectModification:
2019_09_27-PM-01_22_15
Theory : real!vectors
Home
Index