Theorem CategoryTheory.Limits.Concrete.pullbackMk_snd

Modification history