tensor product with arbitrary arguments

1. Definition / Proposition

2. Proof

Date: nil

Author: Anton Zakrewski

Created: 2024-10-14 Mo 09:06