Theorem CategoryTheory.Sieve.mem_iff_pullback_eq_top

Modification history