Description: Define the set of all statements. (Contributed by Mario Carneiro, 14-Jul-2016)
Ref | Expression | ||
---|---|---|---|
Assertion | df-msta | |
Step | Hyp | Ref | Expression |
---|---|---|---|
0 | cmsta | |
|
1 | vt | |
|
2 | cvv | |
|
3 | cmsr | |
|
4 | 1 | cv | |
5 | 4 3 | cfv | |
6 | 5 | crn | |
7 | 1 2 6 | cmpt | |
8 | 0 7 | wceq | |