Theorem CategoryTheory.Presieve.isAmalgamation_sieveExtend

Modification history