Theorem CategoryTheory.Limits.isIso_of_source_target_iso_zero

Modification history