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.