Theorem CategoryTheory.Presieve.ofArrows.eq_eqToHom_comp_hom_idx

Modification history

2025-10-25 21:04
Mathlib/CategoryTheory/Sites/Sieves.lean
chore(CategoryTheory/Sites/Precoverage): remove universe parameters in `IsStableUnderBaseChange` etc. (#30835) …
Added CategoryTheory.Presieve.ofArrows.eq_eqToHom_comp_hom_idxView on Github →