Theorem CategoryTheory.Limits.spanCompIso_app_right

Modification history