Theorem CategoryTheory.NatTrans.hcomp_id

Modification history