Theorem CategoryTheory.Limits.cospan_map_inl

Modification history