Availability of a database containing the proteins of Vibrio cholerae and their corresponding gene sequences
You want to go to PATRIC > Data > Download Tool.

From the Taxonomy tree, find Vibrio cholerae, choose Type of annotation as either PATRIC/RefSeq or both, choose the type of file you want (gbk or faa) and download from there.