Theorem CategoryTheory.Limits.BinaryFan.swap_snd

Modification history