Theorem CategoryTheory.Limits.spanCompIso_inv_app_left

Modification history