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.

Estimated changes