Theorem CategoryTheory.NatIso.unop_whiskerLeft

Modification history