Theorem CategoryTheory.Limits.Concrete.pullbackMk_fst

Modification history