Theorem CategoryTheory.Limits.zero_of_source_iso_zero

Modification history