Theorem CategoryTheory.Presieve.extend_restrict

Modification history