Fin(x,y:n*//(x LangOf(OddEven#n)-induced Equiv y)) 
n:.
k:, f:(k
(x,y:n*//(x LangOf(OddEven#n)-induced Equiv y))).
Bij(k; x,y:n*//(x LangOf(OddEven#n)-induced Equiv y); f)| 1 | 1. n: Fin(x,y:n*//(x LangOf(OddEven#n)-induced Equiv y)) |
About:
 |  |  |  |  |  |