FormalGeomNotes
FormalGeomNotes copied to clipboard
Kick-off of 3.5.20 is confusing
Crucially, one should pick the largest d such that C_d >= C >/= C_{d+1}.
Crucially, one should pick the largest d such that C_d >= C >/= C_{d+1}.