Theorem CategoryTheory.Grothendieck.final_map

Modification history