Skip to content

Proof for Gaussianity_phi4_4D - #15

Closed
ax-prover[bot] wants to merge 1 commit into
mainfrom
ax-prover-1773934364
Closed

Proof for Gaussianity_phi4_4D#15
ax-prover[bot] wants to merge 1 commit into
mainfrom
ax-prover-1773934364

Commits

Commits on Mar 19, 2026