Comment Comment by knowtheory I was similarly confused, and did some digging to determine that they are not related:https://twitter.com/DAIRInstitute/status/1830719509931663411... parent knowtheory 6 months ago
https://twitter.com/DAIRInstitute/status/1830719509931663411...