Theorem CategoryTheory.Limits.Concrete.surjective_π_app_zero_of_surjective_map

Modification history