Theorem CategoryTheory.Limits.biprod.map_snd

Modification history