Lean repository linked
Cycles on abelian 2n-folds of Weil type from secant sheaves on abelian n-folds
arXiv:2502.03415 · arXiv
Lean formalisations (1)
vltanh/lean4-markman25-hodge-abelian-fourfolds at 69fb0420b553
Linked by the repository’s formalization.yaml.
Project review: agent-reviewed
Audit: awaiting publication.