Theorem CategoryTheory.Presieve.compatible_iff_sieveCompatible

Modification history