Dataframe分组之后如何统计元素个数

已经按照taz进行分组去重了，想问下如何统计joinfid 里面的元素个数

不知道你数据的具体格式，我举个例子吧：

>>> import pandas as pd
>>> df = pd.DataFrame({'taz':[1,2,3],'JON_FID':['2 3 4 5','1 3 4 5 6','1 2 4 5 7 8']})
>>> df
   taz      JON_FID
0    1      2 3 4 5
1    2    1 3 4 5 6
2    3  1 2 4 5 7 8
>>> len(sum([i.split() for i in df['JON_FID']],[]))
15

看不懂