Definition 9.1 . [0309]
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
Definition 9.1.
A log curve over a fine saturated log scheme is a fine saturated log scheme with a morphism which is flat of relative dimension one, log smooth, and with all geometric fibres reduced.