Skip to content

feat: add formula for the j-invariant of an elliptic curve#41504

Open
Paul-Lez wants to merge 3 commits into
leanprover-community:masterfrom
Paul-Lez:discr-formula
Open

feat: add formula for the j-invariant of an elliptic curve#41504
Paul-Lez wants to merge 3 commits into
leanprover-community:masterfrom
Paul-Lez:discr-formula

Commits

Commits on Jul 8, 2026