Talk:Holomorphic Lefschetz fixed-point formula