Theorem CategoryTheory.NatTrans.id_hcomp

Modification history