A mathematical theory of gapless edges of 2d topological orders. Part I. - Kong, Liang; Zheng, Hao (Journal of High Energy Physics, 2020)