Theorem CategoryTheory.Presieve.ofArrows_bind

Modification history