Theorem CategoryTheory.Equalizer.Presieve.sheaf_condition

Modification history