renorm_rep (KFH: the Proposition 14 wrapper around an arbitrary `C^{⊗D}` implementation)

Initializing...

renorm_rep (KFH: the Proposition 14 wrapper around an arbitrary `C^{⊗D}` implementation) · Prove2Me