Theorem CategoryTheory.Dial.id_tensorHom_id

Modification history