Nuprl Definition : r2-lines-par
r2-lines-par(a;b;c;d) == line-det(a;b;c;d) ≠ r0
Definitions occuring in Statement :
line-det: line-det(a;b;c;d),
rneq: x ≠ y,
int-to-real: r(n),
natural_number: $n
Definitions occuring in definition :
natural_number: $n,
int-to-real: r(n),
line-det: line-det(a;b;c;d),
rneq: x ≠ y
FDL editor aliases :
r2-lines-par
Latex:
r2-lines-par(a;b;c;d) == line-det(a;b;c;d) \mneq{} r0
Date html generated:
2018_07_29-AM-09_47_09
Last ObjectModification:
2018_07_02-PM-03_09_24
Theory : reals!model!euclidean!geometry
Home
Index