Skip to content

Classify short exact sequences by maps of Eilenberg-Mac Lane spaces#2369

Open
CharlesCNorton wants to merge 12 commits into
HoTT:masterfrom
CharlesCNorton:abses-classification
Open

Classify short exact sequences by maps of Eilenberg-Mac Lane spaces#2369
CharlesCNorton wants to merge 12 commits into
HoTT:masterfrom
CharlesCNorton:abses-classification

pFiber: build functor_pfiber's basepoint path with path_sigma'

ebd0d35
Select commit
Loading
Failed to load commit list.
Sign in for the full log view