Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0CKF

Go back to the tag's page.

type time link
assigned tag 0CKF 2016-06-15 5c4f8a7 
Tags: Added new tags
created statement with label lemma-composition-is-addition in spaces-more-groupoids.tex 2016-06-15 fb9ae61 
Groupoid of sections

Needed to understand addition in next commit

View Lemma 79.5.2 as pdf