Theorem CategoryTheory.Limits.Concrete.pullbackMk_surjective

Modification history