2 lines
72 B
Text
2 lines
72 B
Text
|
Definition nat_twobools (n: nat) := Arity nat (Arity bool nat (2*n)) n.
|