Theorem CategoryTheory.OplaxNatTrans.whiskerRight_naturality_id

Modification history