How to define jQuery in libraries for avoiding conflict with theme with library?
Every library needs to have all it's dependency listed !
As libraries can be loaded independently.


  drupal will make sure to include every file only once.


So this is correct. yes.