Fill in details: L_{X/Y} compatible with etale localization

This proof uses stalks which is perhaps not pretty.