필리폼 리 대수 정의를 위한 괄호 절약 | Synapse