Theorem CategoryTheory.Presieve.extend_agrees

Modification history