Holomorphic_Lefschetz_fixed-point_formula loading ...