Theorem CategoryTheory.Grothendieck.comp_base

Modification history