Theorem CategoryTheory.NatTrans.unop_whiskerRight

Modification history