Theorem CategoryTheory.Sieve.equalizer_self

Modification history