Theorem CategoryTheory.Over.eqToHom_left

Modification history