Theorem CategoryTheory.NatIso.unop_whiskerRight

Modification history