Oldform by argument dilation
ID: oldform-by-argument-dilation
If and , then . Conjugating by changes a lower-left matrix entry to , which is divisible by . A rational upper-triangular factorization at every cusp preserves boundedness and hence cusp holomorphy.
New to topics? Read the docs here!