Theorem CategoryTheory.Limits.BinaryFan.braiding_inv_snd

Modification history