|
|
|
|
|
|
by sasaf5
1804 days ago
|
|
|
I think parent was expecting to see things like operations between random variables and their typing system. I am trying to imagine how all of this could be derived from the isomorphism presented, but it's beyond my mathematical reach. |
|
|