Local invariant cycle theorem: Difference between revisions