Metamath Proof Explorer

Theorem vscandx

Description: Index value of the df-vsca slot. (Contributed by Mario Carneiro, 14-Aug-2015)

Ref Expression
Assertion vscandx 
|- ( .s ` ndx ) = 6

Proof

Step Hyp Ref Expression
1 df-vsca 
 |-  .s = Slot 6
2 6nn 
 |-  6 e. NN
3 1 2 ndxarg 
 |-  ( .s ` ndx ) = 6