A fan graph F_(m,n) is defined as the graph join K^__m+P_n, where K^__m is the empty graph on m nodes and P_n is the path graph on n nodes. The case m=1 corresponds to the usual fan graphs, while m=2 corresponds to the double fan, etc. Precomputed properties of fan graphs are implemented in the Wolfram Language as GraphData[{"Fan", {m, n}}].