Theorem CategoryTheory.Functor.NatTrans.hcomp_eq_whiskerLeft_comp_whiskerRight

Modification history