Theorem CategoryTheory.Presieve.bind_comp

Modification history