P
Initializing...
Tensorization of the entropy functional over a product density · Prove2Me