Local invariant cycle theorem (source code)

= Local invariant cycle theorem
{wiki=Local_invariant_cycle_theorem}