Open mkoeppe opened 5 years ago
... as described in Equivariant VII.
... record them in the moves diagram. That's a new tag before or after 'final'.
... as described in Equivariant VII.