Theorem CategoryTheory.Presieve.restrict_inj

Modification history