Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0GNF

Go back to the tag's page.

type time link
assigned tag 0GNF 2022-01-11 6f3b836
Tags: Added new tags
created statement with label remark-adjunction-map in 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!