Theorem CategoryTheory.Grothendieck.pre_comp_map

Modification history