Nuprl Definition : sp-le
x ≤ y == (x = ⊤ ∈ Sierpinski) ⇒ (y = ⊤ ∈ Sierpinski)
Definitions occuring in Statement :
Sierpinski: Sierpinski,
Sierpinski-top: ⊤,
implies: P ⇒ Q,
equal: s = t ∈ T
Definitions occuring in definition :
implies: P ⇒ Q,
equal: s = t ∈ T,
Sierpinski: Sierpinski,
Sierpinski-top: ⊤
FDL editor aliases :
sp-le
Latex:
x \mleq{} y == (x = \mtop{}) {}\mRightarrow{} (y = \mtop{})
Date html generated:
2019_10_31-AM-06_36_03
Last ObjectModification:
2015_09_23-AM-09_28_56
Theory : synthetic!topology
Home
Index