nForum - Discussion Feed (a Serre fibration between CW-complexes is a Hurewicz fibration)2024-03-28T08:56:05+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Mike Shulman comments on "a Serre fibration between CW-complexes is a Hurewicz fibration" (75100)https://nforum.ncatlab.org/discussion/9439/?Focus=75100#Comment_751002019-01-08T13:23:53+00:002024-03-28T08:56:05+00:00Mike Shulmanhttps://nforum.ncatlab.org/account/3/
Created theorem-page to record the result and references.
v1, current
Created theorem-page to record the result and references.