Remark 3.20. The above characterisation is not completely intrinsic because it uses the extrinsic pairing . On the positive side it uses only the value of on .
Verified tagged author-source HTML · 1912.02360v1 · cited publication edition alignment unverified.