Theorem CategoryTheory.Presieve.pullbackCompatible_iff

Modification history