On fixed point theorem (Q4052747)

From MaRDI portal