Theorem CategoryTheory.Presieve.exists_eq_ofArrows

Modification history