#reading_group - Tag Index
Experimental feature
!
/
reading_group
Floer Talk 4: Section 8.6 - 8.8: Setup for Computing the Index
Reading Group_Fargues Fontaine Curve