Commit 2025-02-28 06:32 5f3b2751
View on Github →chore(CategoryTheory/Sites): rename Sieve.pullback_eq_top_iff_mem
to Sieve.mem_iff_pullback_eq_top
(#22385)
Renames Sieve.pullback_eq_top_iff_mem
to match the direction that the equivalence is stated in.