Theorem CategoryTheory.Limits.spanCompIso_hom_app_left

Modification history