FormalGeomNotes icon indicating copy to clipboard operation
FormalGeomNotes copied to clipboard
verified publisher icon ecpeterson

3.3.23 underbaked

Open ecpeterson opened this issue 3 years ago • 0 comments

3.3.23 references 3.3.6 for its claimed p-typical logarithm. I don't immediately see why 3.3.6 justifies dropping the unwanted terms rather than canceling them, perhaps with contributions to the remaining positions. Even if this is right, it would be good to justify it fully.

ecpeterson avatar Dec 27 '22 23:12 ecpeterson