Theorem CategoryTheory.CostructuredArrow.eqToHom_left

Modification history