Leray–Schauder degree (source code)

= Leray–Schauder degree
{wiki=Leray–Schauder_degree}