I’ve added the section-2 definitions above to https://www.lesswrong.com/posts/kLLu387fiwbis3otQ/cartesian-frames-definitions.
I’ve added the section-2 definitions above to https://www.lesswrong.com/posts/kLLu387fiwbis3otQ/cartesian-frames-definitions.