Theorem CategoryTheory.Limits.spanCompIso_app_zero

Modification history