Talk:Local invariant cycle theorem