Remark 3.30. Notice that the definition is compatible on overlapping charts because the transition functions lie in . On the locus we make no definition.
Verified tagged author-source HTML · 1912.02360v1 · cited publication edition alignment unverified.