Theorem CategoryTheory.Presieve.Arrows.Compatible.exists_familyOfElements

Modification history