Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0CK4

Go back to the tag's page.

type time link
assigned tag 0CK4 2016-06-15 5c4f8a7 
Tags: Added new tags
created statement with label lemma-first-order-structure-c in more-groupoids.tex 2016-06-15 b5b0e1d 
Local structure of groupoids
View Lemma 40.5.1 as pdf