Lefschetz fixed-point theorem (Q6482435)

From MaRDI portal