Theorem CategoryTheory.Presieve.restrict_extend

Modification history