Adjusting tensor corepresentation

https://muratkasimov.art/Ya/Articles/Adjusting-tensor-corepresentation/ It’s a follow up of this post about tensors, this time I demonstrate a technique of performing type level arithmetics to coerce a co-representing object for tensors of any rank and dimensions using subtyping relations. P.S. I just realised that I didn’t include a link in previous post, here it is: https://muratkasimov.art/Ya/Articles/Vectors,-matrices-and-tensors-for-free/