Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0GPQ

Go back to the tag's page.

type time link
assigned tag 0GPQ 2022-01-11 6f3b836
Tags: Added new tags
created statement with label remark-adjunction-map in spaces-groupoids.tex 2021-12-29 d18f086
Fix messed up proof in groupoids

Somehow didn't notice the arrow didn't go the way it was supposed to!