Theorem CategoryTheory.Presieve.is_compatible_of_exists_amalgamation

Modification history