Theorem CategoryTheory.Presieve.extension_iff_amalgamation

Modification history