Theorem CategoryTheory.Limits.pullbackAssoc_inv_snd

Modification history