Theorem CategoryTheory.Equalizer.Sieve.equalizer_sheaf_condition

Modification history