FormalGeomNotes
FormalGeomNotes copied to clipboard
Cite Hovey on E-theory operations
https://projecteuclid.org/journals/homology-homotopy-and-applications/volume-6/issue-1/Operations-and-co-operations-in-Morava-E-theory/hha/1139839552.full