Search results

Coordinate independence of LEFT

Status: Open.

#123 In ecpeterson/FormalGeomNotes;

· ecpeterson opened on Oct 27, 2025

Mazur–Swinnerton-Dyer not actually a suitable citation

Status: Open.

#119 In ecpeterson/FormalGeomNotes;

· ecpeterson opened on Jun 12, 2025

A.4 right before footnote 37

Status: Open.

#118 In ecpeterson/FormalGeomNotes;

· ecpeterson opened on May 29, 2025

Double-check variance compatibility between 3.3 and 4.4

Status: Open.

#117 In ecpeterson/FormalGeomNotes;

· ecpeterson opened on May 24, 2025

clarify kummer sequence vs measure moments in A.4

Status: Open.

#116 In ecpeterson/FormalGeomNotes;

· ecpeterson opened on May 24, 2025

total volume condition in A.4 might be out of order

Status: Open.

#110 In ecpeterson/FormalGeomNotes;

· ecpeterson opened on Feb 7, 2025

Mention Schlank-Stapleton-Weinstein

Status: Open.

#108 In ecpeterson/FormalGeomNotes;

· ecpeterson opened on Jan 3, 2025

Justify 1 - psi^c in Fig A.2

Status: Open.

#101 In ecpeterson/FormalGeomNotes;

· ecpeterson opened on Feb 16, 2024

Update footnote B.2.11 with Schlank et al's solution

Status: Open.

#98 In ecpeterson/FormalGeomNotes;

· ecpeterson opened on Jan 19, 2024

Cite Hovey on E-theory operations

Status: Open.

#97 In ecpeterson/FormalGeomNotes;

· ecpeterson opened on Jun 29, 2023

Bring Yanovski’s results back

Status: Open.

#91 In ecpeterson/FormalGeomNotes;

· ecpeterson opened on Mar 13, 2023

Change Nat's <code>i</code> indices to something else

Status: Open.

#87 In ecpeterson/FormalGeomNotes;

· ecpeterson opened on Jan 31, 2023