Theorem CategoryTheory.Limits.zeroProdIso_inv_snd

Modification history