Def CategoryTheory.OplaxNatTrans.whiskerLeft

Modification history