Theorem CategoryTheory.Equalizer.Presieve.Arrows.compatible_iff_of_small

Modification history