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

fix build

ce9a869
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
post-or-update-summary-comment
succeeded Jul 8, 2026 in 1m 19s