Description: The covers relation is not transitive. (Contributed by NM, 26-Jun-2004) (New usage is discouraged.)
Ref | Expression | ||
---|---|---|---|
Assertion | cvntr | |
Step | Hyp | Ref | Expression |
---|---|---|---|
1 | cvpss | |
|
2 | 1 | 3adant3 | |
3 | cvpss | |
|
4 | 3 | 3adant1 | |
5 | cvnbtwn | |
|
6 | 5 | 3com23 | |
7 | 6 | con2d | |
8 | 2 4 7 | syl2and | |