Theorem CategoryTheory.Comma.eqToHom_left

Modification history