Theorem CategoryTheory.GrothendieckTopology.Cover.Relation.base_snd

Modification history