Theorem CategoryTheory.Limits.BinaryFan.assocInv_snd

Modification history