2 lines
76 B
Text
2 lines
76 B
Text
|
Definition build_vector {A: Set} (n: nat) := build_vector_aux n O (@nil A).
|