Dedekind eta e2#28596

Closed

CBirkbeck wants to merge 154 commits intoleanprover-community:masterfrom

CBirkbeck:Dedekind_eta_E2

Commits on May 12, 2025

Eisenstein E2
CBirkbeck
committed
save
CBirkbeck
committed

Commits on May 13, 2025

save
CBirkbeck
committed
save
CBirkbeck
committed

Commits on May 21, 2025

Commits on Jul 16, 2025

merge
CBirkbeck
committed
updates
CBirkbeck
committed
updates
CBirkbeck
committed
updates2
CBirkbeck
committed
fix build
CBirkbeck
committed
fix
CBirkbeck
committed
Add itereatedDerivWithin version of zpow lemmas
CBirkbeck
committed
add file!
CBirkbeck
committed
fix build
CBirkbeck
committed
open
CBirkbeck
committed
add content
CBirkbeck
committed
space
CBirkbeck
committed
fix
CBirkbeck
committed
fix name
CBirkbeck
committed
add doc string
CBirkbeck
committed

Commits on Jul 17, 2025

Commits on Jul 29, 2025

cleanup
CBirkbeck
committed
lint fix
CBirkbeck
committed

Commits on Aug 1, 2025

Commits on Aug 2, 2025

Commits on Aug 11, 2025

Commits on Aug 12, 2025

Commits on Aug 13, 2025

save
CBirkbeck
committed
doc string
CBirkbeck
committed

Commits on Aug 14, 2025

open
CBirkbeck
committed
save
CBirkbeck
committed
Merge remote-tracking branch 'upstream/master' into Dedekind_eta
CBirkbeck
committed
update
CBirkbeck
committed
save
CBirkbeck
committed
open
CBirkbeck
committed
open
CBirkbeck
committed
open
CBirkbeck
committed
remove logderiv stuff
CBirkbeck
committed
remove logderiv stuff
CBirkbeck
committed
remove logderiv stuff
CBirkbeck
committed
docs
CBirkbeck
committed
remove stuff
CBirkbeck
committed
save
CBirkbeck
committed
update with complexupperhalfplane
CBirkbeck
committed
clean
CBirkbeck
committed
clean more
CBirkbeck
committed
clean more
CBirkbeck
committed
mk_all
CBirkbeck
committed
arrows
CBirkbeck
committed
arrows
CBirkbeck
committed
add file
CBirkbeck
committed

Commits on Aug 18, 2025

Commits on Aug 19, 2025

save
CBirkbeck
committed

Commits on Aug 20, 2025

save
CBirkbeck
committed
move to sep file
CBirkbeck
committed
move to sep file
CBirkbeck
committed
open
CBirkbeck
committed
open
CBirkbeck
committed
open2
CBirkbeck
committed
open3
CBirkbeck
committed
open4
CBirkbeck
committed
open
CBirkbeck
committed
save
CBirkbeck
committed
fix name
CBirkbeck
committed
fix imports
CBirkbeck
committed
fix
CBirkbeck
committed
Merge remote-tracking branch 'origin/divisorsAntidiagonal_tsum' into Dedekind_eta_E2
CBirkbeck
committed
fix
CBirkbeck
committed
save
CBirkbeck
committed
weird mixup
CBirkbeck
committed
weird mixup2
CBirkbeck
committed
weird mixup3
CBirkbeck
committed
weird mixup4
CBirkbeck
committed
cleanup
CBirkbeck
committed
updates
CBirkbeck
committed
Merge remote-tracking branch 'upstream/master' into Dedekind_eta_E2
CBirkbeck
committed
name updates
CBirkbeck
committed
rev updates
CBirkbeck
committed
typo
CBirkbeck
committed
typo
CBirkbeck
committed
save
CBirkbeck
committed
update
CBirkbeck
committed
save
CBirkbeck
committed
move
CBirkbeck
committed
updates
CBirkbeck
committed

Commits on Aug 21, 2025

Commits on Aug 27, 2025

Commits on Jan 21, 2026

merge fix
CBirkbeck
committed

⚡