Theorem CategoryTheory.NatIso.op_isoWhiskerRight

Modification history