Def CategoryTheory.OplaxNatTrans.whiskerRight

Modification history