Proposition 3.2.4 . [04VC]
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.2.4.
Let be a -model of over , let be a proper -model of over and let be a morphism of -models. Denote by the log pullback of to . If we set
then .