Explicit proof of modular forms being invariant under Hecke operation

• 模形式空间在Hecke算子作用下不变的显式证明