Theorem CategoryTheory.OplaxNatTrans.whiskerRight_naturality_comp

Modification history