Theorem CategoryTheory.Limits.prodZeroIso_iso_inv_snd

Modification history