2024-517

Topic Replies Views Activity
[Resource Topic] 2024/517: Fast pairings via biextensions and cubical arithmetic
Foundations
2024-517
0 38 April 6, 2024