Nuprl Definition : geo-interior-point
I(abc;d) == a leftof bc ∧ d leftof bc ∧ d leftof ca ∧ d leftof ab
Definitions occuring in Statement :
geo-left: a leftof bc,
and: P ∧ Q
Definitions occuring in definition :
and: P ∧ Q,
geo-left: a leftof bc
FDL editor aliases :
geo-interior-point
Latex:
I(abc;d) == a leftof bc \mwedge{} d leftof bc \mwedge{} d leftof ca \mwedge{} d leftof ab
Date html generated:
2019_10_16-PM-02_20_02
Last ObjectModification:
2019_03_19-PM-09_25_09
Theory : euclidean!plane!geometry
Home
Index