Theorem CategoryTheory.GrothendieckTopology.Cover.Arrow.middle_spec

Modification history