1 line
59 B
Text
1 line
59 B
Text
Definition build_list {A: Set} := build_list_aux (@nil A).
|
Definition build_list {A: Set} := build_list_aux (@nil A).
|