Theorem CategoryTheory.Presieve.Arrows.pullbackCompatible_iff

Modification history