Double tensor sandwich - and application to injectivity
add_to_dict (needs testing)