The article also coins the expression ``''Leray–Schauder theorem'' without telling us what theorem it might mean. Which theorem is it, where can it be found, what does it state? [[User:Logicdavid|Logicdavid]] ([[User talk:Logicdavid|talk]]) 16:39, 16 April 2025 (UTC)