Description: The join of two atoms under a co-atom is strictly less than it. (Contributed by NM, 8-Jul-2013)
Ref | Expression | ||
---|---|---|---|
Hypotheses | lhp2lt.l | |
|
lhp2lt.s | |
||
lhp2lt.j | |
||
lhp2lt.a | |
||
lhp2lt.h | |
||
Assertion | lhp2lt | |