Theorem CategoryTheory.GrothendieckTopology.mem_sieves_iff_coe

Modification history

2024-08-25 09:29
Mathlib/CategoryTheory/Sites/Grothendieck.lean
chore(CategoryTheory/Sites): address a bunch of porting notes (#16092)
Added CategoryTheory.GrothendieckTopology.mem_sieves_iff_coeView on Github →