Theorem CategoryTheory.NatTrans.unop_whiskerLeft

Modification history