Theorem CategoryTheory.Limits.cospanCompIso_inv_app_left

Modification history