Theorem CategoryTheory.Limits.pullbackSymmetry_inv_comp_snd

Modification history