Theorem CategoryTheory.Limits.BinaryFan.braiding_hom_snd

Modification history