Def CategoryTheory.Grothendieck.fiberwiseColimitMapCompEquivalence

Modification history