Continuous Coderivations of Complete Ultrametric Hopf Algebras
Estimates for coderivative of solution map in bilevel program