Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 03FM

Go back to the tag's page.

type time link
created statement with label lemma-strong-splitting in spaces-more-groupoids.tex 2017-05-14 3a25b9c
Add correct version of the splitting lemma

Strangely this was missing...
assigned tag 03FM 2017-05-14 3a25b9c
Add correct version of the splitting lemma

Strangely this was missing...