Theorem CategoryTheory.Presieve.Arrows.Compatible.familyOfElements_compatible

Modification history