Theorem CategoryTheory.Limits.MultispanIndex.ι_fstSigmaMap

Modification history