generated at
モノイダル圏の省略記法
モノイダル圏
モノイダル積の左寄せ
モノイダル積の右寄せ