Theorem CategoryTheory.Grothendieck.base_eqToHom

Modification history