Commit 2023-06-22 23:00 57f9349f
View on Github →chore(analysis/complex/upper_half_plane,number_theory/modular_forms): reduce dependency on manifolds (#19212)
Move some lemmas that use mfderiv or mdifferentiable to new files.
chore(analysis/complex/upper_half_plane,number_theory/modular_forms): reduce dependency on manifolds (#19212)
Move some lemmas that use mfderiv or mdifferentiable to new files.