Theorem CategoryTheory.Equalizer.Sieve.compatible_iff

Modification history