Theorem CategoryTheory.Limits.zero_of_target_iso_zero

Modification history