1. No category

データ函数と複素結晶鏡映群の商空間