Theorem CategoryTheory.Presieve.isAmalgamation_restrict

Modification history