Theorem CategoryTheory.GrothendieckTopology.yonedaEquiv_symm_naturality_right

Modification history

2024-11-01 22:15
Mathlib/CategoryTheory/Sites/Subcanonical.lean
feat(CategoryTheory/Sites): some API for the Yoneda embedding into sheaf categories (#18185)
Added CategoryTheory.GrothendieckTopology.yonedaEquiv_symm_naturality_rightView on Github →