Remix.run Logo
Davidzheng 17 hours ago

yeah I think it's probably correct -- this is actually insanely simple (except for the fact that the codomain as described is not obvious isomorphic to A^3.

jlev1 17 hours ago | parent [-]

I agree.