Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I have added also the statement of the two relative versions of the Serre spectral sequence (here). No details yet.
added this pointer:
and implementation in Lean is in
and will add it also to spectral sequence and maybe elsewhere
@Urs it should be Floris et. al. There is a list of participents:
Participants Jeremy Avigad, Steve Awodey, Ulrik Buchholtz, Floris van Doorn, Clive Newstead, Egbert Rijke, Mike Shulman.
Checking the contributors supports this fact too.
all right, I added more of these names. I got the pointer from Florisâ€™ talk at LeanTogether and somehow thought it was the pointer to his
1 to 4 of 4