Proposition 3.12 . [00KM]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Proposition 3.12.
Assume that is an asymptotic Fubini-Study metric on , then the envelop metric is equal to . (see also [BE18, Theorem 6.15 (iii)])