Nuprl Definition : half-squash-stable
half-squash-stable(P) == ⇃(P) ⇒ P
Definitions occuring in Statement :
quotient: x,y:A//B[x; y],
implies: P ⇒ Q,
true: True
Definitions occuring in definition :
true: True,
quotient: x,y:A//B[x; y],
implies: P ⇒ Q
FDL editor aliases :
half-squash-stable
Latex:
half-squash-stable(P) == \00D9(P) {}\mRightarrow{} P
Date html generated:
2017_09_29-PM-05_48_08
Last ObjectModification:
2017_08_30-AM-10_28_24
Theory : quot_1
Home
Index