|
|
|
|
|
|
by TimorousBestie
1 day ago
|
|
|
> I still don't really know what my favoured notation for differential geometry is, I find myself switching around so much. Yep, me too. Maybe someday the HoTT folks will get around to formalizing it and standardizing the notation. /j |
|
|