Theorem CategoryTheory.Limits.BinaryFan.braiding_inv_fst

Modification history